package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type s =

type t

val key : (s, t) ThTerm.Kind.t

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