dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Parameter #2 Dolmen_type . Arith . Ae . Tff . Ty
val int : Type.Ty.t

The type of integers

val real : Type.Ty.t

The type of reals

type view#row

Partial view for types.

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

Partial view for types.

val view : Type.Ty.t -> view

Partial view of a type.