cryptol-2.4.0: Cryptol: The Language of Cryptography

Cryptol.TypeCheck.Solver.Numeric.Defined

Description

Synopsis

# Documentation

A condition ensure that the given *basic* proposition makes sense.

Generate a property ensuring that the expression is well-defined. This might be a bit too strict. For example, we reject things like max inf (0 - 1), which one might think would simplify to inf.