dolmen_type

A typechecker for automated deduction languages
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen_type
type arith =
| Regular
| Linear of [ `Large | `Strict ]
| Difference of [ `IDL | `RDL | `UFIDL ]

The different type of arithmetic restrictions, see the comment in arith.ml for more information.

module Int : sig ... end

Standalone Integer arithmetic

module Real : sig ... end

Standalone Integer arithmetic

module Real_Int : sig ... end

Mixed Integer and Real arithmetic