package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module S : sig ... end

type 'a data = 'a S.data

val register : 'a data -> unit

val check_is_registered : 'a t -> unit

val is_well_initialized : unit -> bool

val get : 'a t -> 'a data

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

type 'b iter_initialized = {

}

val iter_initialized : unit iter_initialized -> unit

type ('b, 'c) fold_initialized = {

}

val fold_initialized : (unit, 'c) fold_initialized -> 'c -> 'c

exception UnregisteredKey : 'a t -> exn

the key shouldn't be used before its registration and shouldn't be registered again

exception AlreadyRegisteredKey : 'a t -> exn