package colibri2

  1. Overview
  2. Docs

Unique keys associated to each kind of ThTerm

Key with arity 2

type ('k, 'd) t
val pp : ('k, 'd) t Containers.Format.printer
val equal : ('k1, 'd1) t -> ('k2, 'd2) t -> bool
val hash : ('k, 'd) t -> int
val name : ('k, 'd) t -> string
type iter = {
  1. iter : 'k 'd. ('k, 'd) t -> unit;
}
val iter : iter -> unit
type 'b fold = {
  1. fold : 'a1 'a2. ('a1, 'a2) t -> 'b -> 'b;
}
val fold : 'b fold -> 'b -> 'b
val create : (module Colibri2_stdlib.Keys.NamedType2 with type d = 'a2 and type t = 'a1) -> ('a1, 'a2) t
module Eq : sig ... end
module MkVector (D : sig ... end) : Colibri2_stdlib.Hashtbl_hetero.S2 with type ('k, 'd) key = ('k, 'd) t and type ('k, 'd, 'b) data = ('k, 'd, 'b) D.t
module Vector : Colibri2_stdlib.Hashtbl_hetero.R2 with type ('a, 'b) key = ('a, 'b) t
module Make_Registry (S : sig ... end) : Colibri2_stdlib.Keys.Registry2 with type ('k, 'd) key := ('k, 'd) t and type ('k, 'd) data = ('k, 'd) S.data
OCaml

Innovation. Community. Security.