package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 = {

iter : 'k 'd. ('k, 'd) t -> unit;

}

val iter : iter -> unit

type 'b fold = {

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