Module integer
leo_compiler::value
pub use self::macros::*;
pub use self::integer::*;
Conversion of integer declarations to constraints in Leo.