Cryptol.TypeCheck.Solver.FinOrd
data OrdFacts
data AssertResult
noFacts
addFact
isKnownLeq
knownInterval
ordFactsToGoals
ordFactsToProps
dumpDot
dumpDoc
class IsFact t