dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.intf
Module type Dolmen_intf . Ty . Smtlib_Real_Int
include Smtlib_Int
type t

The type of types

val int : t

The type for integer expressions.

include Smtlib_Real with type t := t
val real : 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 : t -> view

Partial view of a type.