package colibri2

  1. Overview
  2. Docs

Parameters

module S : sig ... end

Signature

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 = {
  1. iter : 'a. 'a data -> unit;
}
val iter_initialized : unit iter_initialized -> unit
type ('b, 'c) fold_initialized = {
  1. fold : 'a. 'c -> 'a data -> 'c;
}
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
OCaml

Innovation. Community. Security.