dolmen_type

A typechecker for automated deduction languages
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen_type
Parameter #3 Dolmen_type . Float . Smtlib2 . Tff . T
val ty : Type.T.t -> Type.Ty.t

Type of a term.

Sub-module used for namespacing the real part of the theory requirements

Sub-module used for namespacing the bitvector part of the theory requirements

Sub-module used for namespacing the floating number part of the theory requirements