tasm_lib::rust_shadowing_helper_functions::claim

Function load_claim_from_memory

Source
pub fn load_claim_from_memory(
    claim_pointer: BFieldElement,
    memory: &HashMap<BFieldElement, BFieldElement>,
) -> Claim