Module numeric_check 

Enums

BoundOp

CompiledBound

CompiledMultipleOf

DivisorKind

Which arithmetic the validator uses for a multipleOf divisor. A rewrite that moves a divisor between kinds can change verdicts, so only same-kind rewrites preserve membership.

Functions

check_bound

compile_bound

divisor_kind

The arithmetic divisor selects, mirroring how multipleOf compiles.

satisfies_multiple_of

Whether value satisfies multipleOf: divisor, deciding it the way the validator does.