Functor_inclusion_diff (melange.Melange_compiler_libs.Includemod.Functor_inclusion

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