z3-0.3.0: Bindings for the Z3 Theorem Prover

Copyright(c) Iago Abal, 2012 (c) David Castro, 2012
LicenseBSD3
MaintainerIago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
Safe HaskellNone
LanguageHaskell98

Z3.Lang.Nat

Description

 

Documentation

data Nat Source

Instances