cairo_lang_sierra/extensions/modules/
range_check.rs

1use crate::extensions::NoGenericArgsGenericType;
2use crate::ids::GenericTypeId;
3
4/// Type for Range Check builtin.
5#[derive(Default)]
6pub struct RangeCheckType {}
7impl NoGenericArgsGenericType for RangeCheckType {
8    const ID: GenericTypeId = GenericTypeId::new_inline("RangeCheck");
9    const STORABLE: bool = true;
10    const DUPLICATABLE: bool = false;
11    const DROPPABLE: bool = false;
12    const ZERO_SIZED: bool = false;
13}
14
15/// Type for Range Check builtin.
16#[derive(Default)]
17pub struct RangeCheck96Type {}
18impl NoGenericArgsGenericType for RangeCheck96Type {
19    const ID: GenericTypeId = GenericTypeId::new_inline("RangeCheck96");
20    const STORABLE: bool = true;
21    const DUPLICATABLE: bool = false;
22    const DROPPABLE: bool = false;
23    const ZERO_SIZED: bool = false;
24}