dolmen.std
Term.Field
A module for Record fields.
dolmen
dolmen.ae
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib2
dolmen.tptp
dolmen.zf
dolmen_smtlib2_poly
dolmen_smtlib2_v6
dolmen_tptp_v6_3_0
type t = term_const
A record field.
val hash : t -> int
A hash function for adt destructors.
val equal : t -> t -> bool
An equality function on adt destructors.
val compare : t -> t -> int
A comparison function on adt constructors.