ValidityPredicates - 0.1.0

Data.Int

Definitions

axiom Int : TypeSource#