Includemod.Functor_inclusion_diff
module Defs : sig ... end
val diff : Env.t -> (Types.functor_parameter list * Types.module_type) -> (Types.functor_parameter list * Types.module_type) -> Diffing.Define(Defs).patch