ValidityPredicates - 0.1.0

Data.Int.Ops

Definitions

axiom < : Int Int BoolSource#

axiom eqInt : Int Int BoolSource#

axiom == : Int Int BoolSource#

axiom - : Int Int IntSource#

axiom + : Int Int IntSource#