dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Parameter #3 Dolmen_type . Core . Ae . Tff . Ty
type t = Type.Ty.t

The type of types.

val bool : t

The type of booleans

val unit : t

Unit type