OCaml Library Collection

module Defs : sig ... end

type inclusion_env = {

i_env : Env.t;
i_subst : Subst.t;

}

val diff : 
  inclusion_env ->
  (Types.functor_parameter list * Types.module_type) ->
  (Types.functor_parameter list * Types.module_type) ->
  Diffing.Define(Defs).patch