Includemod.Functor_inclusion_diff
module Defs: { ... };
let diff: Env.t => (list(Types.functor_parameter), Types.module_type) => (list(Types.functor_parameter), Types.module_type) => Diffing.Define(Defs).patch;