package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include module type of Map_hetero_sig

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

module MakeS
  (K : Keys)
  (D : sig ... end) : 
  S with type 'a key = 'a K.t and type ('a, 'b) data = ('a, 'b) D.t

module MakeR (K : Keys) : R with type 'a key = 'a K.t