cairo_lang_semantic::corelib

Function core_downcast

source 
pub fn core_downcast(
    db: &dyn SemanticGroup,
    input: TypeId,
    output: TypeId,
) -> FunctionId
Expand description

The function downcast from the integer submodule.