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) ->
  (Defs.left, Defs.right, Defs.eq, Defs.diff)
    Melange_compiler_libs__.Diffing.change
    list