package dolmen_type

  1. Overview
  2. Docs

Smtlib Integer and Real Arithmetic

type arith =
  1. | Regular
  2. | Linear of [ `Large | `Strict ]
  3. | 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

OCaml

Innovation. Community. Security.