Context.Mkfield
module type S = sig ... end
module Make (X : sig ... end) () : S with type field = X.t
val create : unit -> (module S with type field = 't)