Module Domains.With_focusing

module type Base_with_types = sig ... end
module type S = sig ... end
module type S_with_types = sig ... end
module Make (D : Domain_sig.Base) : S with module Context = D.Context and type boolean = D.boolean