Domains.D1
Type of domain combinator of arity 1 (e.g powerset)
module Make (D : Signature.Domain) : Signature.Domain