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) =>
  Diffing.Define(Defs).patch;