def Sp.open

bendtorch-load@1.3.0.0 · main.bend:348

import Base

348# { opens a level; at depth 2 an entry starts empty
349def Sp.open(fresh: Bool, ps: Ps) -> Ps:
350  match fresh ps:
351    case True{} Ps{d, c, p, n, f, dt, sh, of, ns, rs, bad}: Ps{(d + 1 : U32), False{}, p, n, f, "", Nil{}, Nil{}, ns, rs, bad}
352    case False{} Ps{d, c, p, n, f, dt, sh, of, ns, rs, bad}: Ps{(d + 1 : U32), False{}, p, n, f, dt, sh, of, ns, rs, bad}