Module tautology 

Statics

TYPE_BASED_TAUTOLOGY

Functions

elem_type_of 🔒

Extracts the elementary integer type from a variable reference or explicit cast.

flip 🔒

Returns the equivalent operator after swapping left and right operands. e.g. const < var rewritten as var > const needs Gt.

is_tautology 🔒

Returns true if var <op> val is always true or always false for every value in the type’s range.

lit_value_of 🔒

Extracts a signed constant from a numeric literal or negated numeric literal, returning (is_negative, magnitude).