def scan_operand_ok
import cli@0.2.0.0/cli.bend as Cliimport Base
2971def scan_operand_ok(state: ScanState, token: String) -> ScanState:
2972 match state:
2973 case ScanState{+scope, events, resting, +positional_count,
2974 external, issue}:
2975 ScanState{scope, Operand{token} <> events,
2976 Bool.or(resting,
2977 traits_rest(scope_slot_traits(scope, positional_count))),
2978 Nat.add(positional_count, 1n), external, issue}