Struct ResidentOutputContract 

pub struct ResidentOutputContract(/* private fields */);

Named resident-output ownership contract.

Implementations

impl ResidentOutputContract

pub fn new( predicate: impl for<'a> Fn(&TensorRead<'a>, &StorageClass) -> bool + Send + Sync + 'static, ) -> Self

Construct a named resident-output ownership contract.

Examples

use tenferro_runtime::ResidentOutputContract;

let contract = ResidentOutputContract::new(|_, _| true);
let _ = contract;

Trait Implementations

impl Clone for ResidentOutputContract

fn clone(&self) -> ResidentOutputContract

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ResidentOutputContract

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.