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