ValidityPredicates - 0.1.0
Source
Index
Data.Int
Contents
Description
Definitions
Description
Definitions
axiom
Int
:
Type
Source
#
axiom
Int_0
:
Int
Source
#
axiom
Int_1
:
Int
Source
#