package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module T : Colibri2_popop_lib.Popop_stdlib.NamedDatatype

type s = T.t

the user given type

module SD : Colibri2_popop_lib.Popop_stdlib.NamedDatatype with type t = s

thterm

include Colibri2_popop_lib.Popop_stdlib.Datatype

include Colibri2_popop_lib.Popop_stdlib.OrderedHashedType

type t

val equal : t -> t -> bool

val pp : t Colibri2_popop_lib.Pp.pp

val hash_fold_t : t Base.Hash.folder

module M : Colibri2_popop_lib.Map_intf.PMap with type key = t

module S : 
  Colibri2_popop_lib.Map_intf.Set
    with type 'a M.t = 'a M.t
     and type M.key = M.key

module H : Colibri2_popop_lib.Exthtbl.Hashtbl.S with type key = t

include Base.Hashtbl.Key.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

val sexp_of_t : t -> Sexplib0.Sexp.t

val hash : t -> int

val key : (s, t) Kind.t

val index : s -> t

Return a theory term from the user type

val node : t -> Node.t

Return a class from a thterm

val sem : t -> s

Return the sem from a thterm

val thterm : t -> ThTerm.t

val of_thterm : ThTerm.t -> t option

Return the user type if the ThTerm belongs to this module

val coerce_thterm : ThTerm.t -> t

Return the user type. Raise if the ThTerm does not belong to this module