Functor_inclusion_diff (melange.Melange_compiler_libs.Includemod.Functor_inclusion

module Defs: { ... };

let diff: 
  Env.t =>
  (list(Types.functor_parameter), Types.module_type) =>
  (list(Types.functor_parameter), Types.module_type) =>
  list(Melange_compiler_libs__.Diffing.change(Defs.left,
                                               Defs.right,
                                               Defs.eq,
                                               Defs.diff));