package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

exception IncoherentMap

module type Keys = sig ... end

module type S = sig ... end

The following are needed in order to avoid ('a,'b) t = 'b in an instanciation of the previous functors (cf. ocaml mantis #5083: J.Garrigue : "Phantom types must be either abstract or private. In particular, using an abbreviation for a phantom type is just a Russian roulette.")

module type R = sig ... end

Same as S but for ('a,'b) data = 'b