Module integer
leo_compiler::value::integer
Conversion of integer declarations to constraints in Leo.
An integer type enum wrapping the integer value.