dolmen_type

A typechecker for automated deduction languages
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen_type
Parameter #2 Dolmen_type . Arith . Smtlib2 . Real_Int . Tff . Ty
include Dolmen.Intf.Ty.Smtlib_Int with type t := Type.Ty.t
val int : Type.Ty.t

The type for integer expressions.

include Dolmen.Intf.Ty.Smtlib_Real with type t := Type.Ty.t
val real : Type.Ty.t

The type for integer expressions.

type view#row

Partial view for types. These are used by the Reals_Ints theory to perform type-based dispatch, and automatic conversion of Ints to Reals when specified by the specification.

and view = private [>
| `Int
| `Real
]

Partial view for types. These are used by the Reals_Ints theory to perform type-based dispatch, and automatic conversion of Ints to Reals when specified by the specification.

val view : Type.Ty.t -> view

Partial view of a type.