package colibri2

  1. Overview
  2. Docs

Parameters

Signature

type s = T.t

the user given type

thterm

include Colibri2_popop_lib.Popop_stdlib.Datatype
val hash_fold_t : t Base.Hash.folder
module S : Colibri2_popop_lib.Map_intf.Set with type 'a M.t = 'a M.t and type M.key = M.key
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

OCaml

Innovation. Community. Security.