Module tautology

Structs§

cmp 🔒
comparison_of 🔒: A comparison of one resolved integer variable (possibly cast) against a constant.
comparison_operand_of 🔒: The variable an operand compares, the casts applied to it and the range its values span.
elem_type_of 🔒: The elementary type selected by the type checker.
integer_bounds 🔒
is_boundary_composition 🔒: True when two comparisons over the same operand together cover its whole range.
is_tautology 🔒: True if x <op> val has the same truth value for every x in range.
lit_value_of 🔒: A numeric literal or negated numeric literal.
split_comparison 🔒: A relational/equality comparison between an operand and a constant, normalized to operand <op> const (the operator is flipped when the constant is on the left).

Const 🔒: A signed integer constant as (is_negative, magnitude), matching how solar stores negated literals (-128 is Unary(Neg, Lit(128))). Zero is always (false, 0).