Functor_app_diff (melange.Melange_compiler_libs.Includemod.Functor_app

module Defs: { ... };

let diff: 
  Env.t =>
  f:Types.module_type =>
  args:list((Error.functor_arg_descr, Types.module_type)) =>
  Diffing.Define(Defs).patch;