package colibri2

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

Innovation. Community. Security.