def scan_operand_ok

cli@0.2.0.0 · cli.bend:2971

import cli@0.2.0.0/cli.bend as Cli
import 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}

Uses (8)

Used by (1)