Content_type
module type Fields = sig ... end
module type S = sig ... end
module Make (Fields : Fields) : S with type fields = Fields.t