package colibri2

  1. Overview
  2. Docs

These environment are not saved automatically

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 = {
  1. iter : 'a. 'a t -> unit;
}
val iter : iter -> unit
type 'b fold = {
  1. fold : 'a. 'a t -> 'b -> 'b;
}
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 : init:(Colibri2_stdlib.Context.creator -> 'a) -> pp:'a Containers.Format.printer -> 'a t -> unit

Only a pretty printer and an initialization function 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

val init : Colibri2_stdlib.Context.creator -> 'a t -> 'a

Create the initial value

OCaml

Innovation. Community. Security.