package ocaml-solo5-cross-aarch64

You can search for identifiers within the package.

in-package search v0.2.0

Module `Functor_inclusion_diff.Defs`

type left = Types.functor_parameter

type right = left

type eq = Typedtree.module_coercion

type diff = (Types.functor_parameter, unit) Error.functor_param_symptom

type state