KnownInt | Data.Type.Integer |
KnownPosNat | Data.Type.Integer |
LiftedInt | Data.Type.Integer |
liftedIntVal | Data.Type.Integer |
LInt | Data.Type.Integer |
LIntInvert | Data.Type.Integer |
LIntMinus | Data.Type.Integer |
LIntPlus | Data.Type.Integer |
LIntPred | Data.Type.Integer |
LIntSucc | Data.Type.Integer |
LIntZero | Data.Type.Integer |
Minus | Data.Type.Integer |
Plus | Data.Type.Integer |
PosNat | Data.Type.Integer |
PosNatOne | Data.Type.Integer |
posNatVal | Data.Type.Integer |
S | Data.Type.Integer |
Sign | Data.Type.Integer |