Cryptol.TypeCheck.Solver.Interval
data Interval
anything
iConst
iAdd
iMul
iExp
iMin
iMax
iLg2
iWidth
iSub
iDiv
iMod
iLenFromThen
iLenFromTo
iLenFromThenTo
iLeq
iLt
iDisjoint