package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include module type of Hashtbl_hetero_sig

exception IncoherentTable

module type Keys1 = sig ... end

imperative, extensible and heterogene hash-tables

module type S1 = sig ... end

module type R1 = sig ... end

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

module type T1 = sig ... end

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

module type Keys2 = sig ... end

module type S2 = sig ... end

module type R2 = sig ... end

module MakeS1
  (K : Keys1)
  (D : sig ... end) : 
  S1 with type 'a key = 'a K.t and type ('a, 'b) data = ('a, 'b) D.t

module MakeR1 (K : Keys1) : R1 with type 'a key = 'a K.t

module MakeT1 (K : Keys1) : T1 with type 'a key = 'a K.t

module MakeS2
  (K : Keys2)
  (D : sig ... end) : 
  S2
    with type ('a1, 'a2) key = ('a1, 'a2) K.t
     and type ('a1, 'a2, 'b) data = ('a1, 'a2, 'b) D.t

module MakeR2 (K : Keys2) : R2 with type ('a, 'b) key = ('a, 'b) K.t