Searched defs:pattern_params (Results 1 – 1 of 1) sorted by relevance
1128 let pattern_params = PatternParameters { numberBlocksProcess: 1, numberBlocksCopy: 9 }; in invalid_operations_initial_state() localVariable1163 let pattern_params = PatternParameters { numberBlocksProcess: 1, numberBlocksCopy: 9 }; in invalid_operations_destroyed_state() localVariable