Generates a ConcreteEnumId instance for bool.

Gets a semantic expression of the literal false. Uses the given stable_ptr in the returned semantic expression.

Generates a ConcreteVariant instance for false.

Given a core library function name and its generic arguments, returns FunctionId.

Given a core library function name, returns GenericFunctionId.

Gets a ConcreteVariant instance for an enum variant, by name. Assumes the variant exists.

Generates a ConcreteVariant instance for JumpNzResult::<felt>::NonZero.

Generates a ConcreteVariant instance for JumpNzResult::<felt>::Zero.

Gets the never type ().

Gets a semantic expression of the literal true. Uses the given stable_ptr in the returned semantic expression.

Generates a ConcreteVariant instance for true.

Returns the name of the libfunc that creates a constant of type ty.

builds a semantic unit expression. This is not necessarily located in the AST, so it is received as a param.

Gets the unit type ().

Attempts to unwrap error propagation types (Option, Result). Returns None if not one of these types.

Module cairo_lang_semantic::corelib

Functions