package colibri2

  1. Overview
  2. Docs
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

OCaml

Innovation. Community. Security.