def sq.eos

cswap-bend-cli@0.1.0.0 · fmt/ylex.bend:179

import cswap-bend-cli@0.1.0.0/fmt/ylex.bend as Ylex

import Base

179def sq.eos(prevq: Bool, n: Nat) -> Maybe<&2, Nat>:
180  match prevq:
181    case True{}:
182      Some{n}
183    case False{}:
184      None{}

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/fmt/ylex:sq.end