Domains.With_focusing
module type Base_with_types = sig ... end
module type S = sig ... end
module type S_with_types = sig ... end
module Make_with_types
(D : Base_with_types) :
S_with_types with module Context = D.Context and type boolean = D.boolean