sint-0.1.0.0: A singleton type for `Nat` represented as `Int`.
Contents
Index
Index
addSInt
Data.SInt
divSIntL
Data.SInt
divSIntR
Data.SInt
IntMaxP1
Data.SInt
mulSInt
Data.SInt
reifySInt
Data.SInt
SI#
Data.SInt
SInt
Data.SInt
sintVal
Data.SInt
staticSIntVal
Data.SInt
subSInt
Data.SInt
subSIntL
Data.SInt
subSIntLE
Data.SInt
trySIntVal
Data.SInt
unSInt
Data.SInt
withSInt
Data.SInt