SatelliteCallImpl

Fully qualified path: integrity::lib_utils::SatelliteCallImpl

impl SatelliteCallImpl of CallFactRegistryTrait<SatelliteT>;

Impl functions

_get_all_verifications_for_fact_hash

Fully qualified path: integrity::lib_utils::SatelliteCallImpl::_get_all_verifications_for_fact_hash

fn _get_all_verifications_for_fact_hash(
    self: SatelliteT, fact_hash: felt252,
) -> Span<VerificationListElement>

_get_verification

Fully qualified path: integrity::lib_utils::SatelliteCallImpl::_get_verification

fn _get_verification(self: SatelliteT, verification_hash: felt252) -> Option<Verification>