package ocaml-solo5

You can search for identifiers within the package.

in-package search v0.2.0

Module `Includemod.Functor_inclusion_diff`

module Defs : sig ... end

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

package ocaml-solo5

Module Includemod.Functor_inclusion_diff

Module `Includemod.Functor_inclusion_diff`