Enum cairo_lang_sierra::extensions::modules::boolean::BoolLibfunc

pub enum BoolLibfunc {
    And(BoolAndLibfunc),
    Not(BoolNotLibfunc),
    Xor(BoolXorLibfunc),
    Or(BoolOrLibfunc),
    ToFelt252(BoolToFelt252Libfunc),
}

Variants

And(BoolAndLibfunc)

Not(BoolNotLibfunc)

Xor(BoolXorLibfunc)

Or(BoolOrLibfunc)

ToFelt252(BoolToFelt252Libfunc)

Trait Implementations

impl GenericLibfunc for BoolLibfunc

type Concrete = BoolConcreteLibfunc

fn supported_ids() -> Vec<GenericLibfuncId>

Returns the list of generic libfuncs ids that can be instantiated through this type. This is useful on hierarchical libfunc aggregates such as CoreLibfunc.

fn by_id(id: &GenericLibfuncId) -> Option<Self>

Instantiates the libfunc by id.

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg] ) -> Result<LibfuncSignature, SpecializationError>

Creates the specialization of the libfunc’s signature with the template arguments.

fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg] ) -> Result<Self::Concrete, SpecializationError>

Creates the specialization with the template arguments.