def Sp.pun

bendtorch-load@1.3.0.0 · main.bend:381

import Base

381def Sp.pun(colon: Bool, ob: Bool, cb: Bool, ol: Bool, cl: Bool, +d: U32, +f: String, ps: Ps) -> Ps:
382  match colon ob cb ol cl:
383    case True{} _ _ _ _: Sp.colon(U32.is_eq(d, 1), U32.is_eq(d, 2), ps)
384    case _ True{} _ _ _: Sp.open(U32.is_eq(d, 1), ps)
385    case _ _ True{} _ _: Sp.close(U32.is_eq(d, 2), ps)
386    case _ _ _ True{} _: Sp.lopen(ps)
387    case _ _ _ _ True{}: Sp.lclose(Bool.and(U32.is_eq(d, 3), String.eq(f, "shape")), Bool.and(U32.is_eq(d, 3), String.eq(f, "data_offsets")), ps)
388    case _ _ _ _ _: Sp.comma(ps)