sint-0.2.0: Nat singletons represented by Int (Index)

sint-0.2.0: Nat singletons represented by Int

Index

addSInt	Data.SInt
divSIntL	Data.SInt
divSIntR	Data.SInt
IntMaxP1	Data.SInt
mulSInt	Data.SInt
reifySInt	Data.SInt
SI	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