Skip to main content

decorator_pairs_strategy

miden_assembly::mast::arbitrary

Function decorator_pairs_strategy 

pub fn decorator_pairs_strategy(
    ops_len: usize,
    max_id: u32,
    max_pairs: usize,
) -> impl Strategy<Value = Vec<(usize, DecoratorId)>>
Expand description

Strategy for generating decorator pairs (usize, DecoratorId)