package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Environment should currently be persistent data-structure in order to be backtracked correctly

include Colibri2_stdlib.Keys.Key

type 'a t

val pp : 'a t Containers.Format.printer

val compare : 'a t -> 'b t -> int

val equal : 'a t -> 'b t -> bool

val hash : 'a t -> int

val tag : 'a t -> int

val name : 'a t -> string

type iter = {

}

val iter : iter -> unit

type 'b fold = {

}

val fold : 'b fold -> 'b -> 'b

module Eq : sig ... end

val create : (module Colibri2_stdlib.Keys.NamedType with type t = 'a) -> 'a t

module MkVector
  (D : sig ... end) : 
  Colibri2_stdlib.Hashtbl_hetero.S1
    with type 'a key = 'a t
     and type ('a, 'b) data = ('a, 'b) D.t

module Vector : Colibri2_stdlib.Hashtbl_hetero.R1 with type 'a key = 'a t

module VectorH : Colibri2_stdlib.Hashtbl_hetero.T1 with type 'a key = 'a t

module MkMap
  (D : sig ... end) : 
  Colibri2_stdlib.Map_hetero.S
    with type 'a key = 'a t
     and type ('a, 'b) data = ('a, 'b) D.t

module M : Colibri2_stdlib.Map_hetero.R with type 'a key = 'a t

module Make_Registry
  (S : sig ... end) : 
  Colibri2_stdlib.Keys.Registry
    with type 'a key := 'a t
     and type 'a data = 'a S.data

val register : 'a Containers.Format.printer -> 'a t -> unit

Only a pretty printer is needed for registration

val print : 'a t -> 'a Containers.Format.printer

Get a pretty printer for a particular environment

val check_is_registered : 'a t -> unit

Check if all the keys created have been registered