cairo_lang_sierra/extensions/modules/
range_check.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
use crate::extensions::NoGenericArgsGenericType;
use crate::ids::GenericTypeId;

/// Type for Range Check builtin.
#[derive(Default)]
pub struct RangeCheckType {}
impl NoGenericArgsGenericType for RangeCheckType {
    const ID: GenericTypeId = GenericTypeId::new_inline("RangeCheck");
    const STORABLE: bool = true;
    const DUPLICATABLE: bool = false;
    const DROPPABLE: bool = false;
    const ZERO_SIZED: bool = false;
}

/// Type for Range Check builtin.
#[derive(Default)]
pub struct RangeCheck96Type {}
impl NoGenericArgsGenericType for RangeCheck96Type {
    const ID: GenericTypeId = GenericTypeId::new_inline("RangeCheck96");
    const STORABLE: bool = true;
    const DUPLICATABLE: bool = false;
    const DROPPABLE: bool = false;
    const ZERO_SIZED: bool = false;
}