sint-0.1.0.0: A singleton type for `Nat` represented as `Int`.

Index

addSIntData.SInt
divSIntLData.SInt
divSIntRData.SInt
IntMaxP1Data.SInt
mulSIntData.SInt
reifySIntData.SInt
SI#Data.SInt
SIntData.SInt
sintValData.SInt
staticSIntValData.SInt
subSIntData.SInt
subSIntLData.SInt
subSIntLEData.SInt
trySIntValData.SInt
unSIntData.SInt
withSIntData.SInt