package colibri2

  1. Overview
  2. Docs
type 'a t
val create : 'a Containers.Format.printer -> string -> (Colibri2_stdlib.Context.creator -> PP.t -> 'a) -> 'a t
val find : 'a t -> _ Colibri2_core.Egraph.t -> PP.t -> 'a
val iter : (PP.t -> 'a -> unit) -> 'a t -> _ Colibri2_core.Egraph.t -> unit
val fold : (PP.t -> 'a -> 'acc -> 'acc) -> 'a t -> _ Colibri2_core.Egraph.t -> 'acc -> 'acc
OCaml

Innovation. Community. Security.