def save.key

yaml-for-bend@0.1.1.0 · scan.bend:516

import Base

516# A simple key may start here. It must be one (no "?" can come later) when
517# it starts a block line at the indentation.
518def save.key(+st: Sc) -> Step:
519  +required = Bool.and(Nat.is_eq(sc.flow(st), 0n), Nat.is_eq(sc.ind(st), 1n+sc.col(st)))
520  when(Step, sc.allowed(st), u => key.saved(remove.key(st), required), u => Go{st})