~/jendhub

def esc.sp

emerging-eztoml@0.9.0.0 · main.bend:3035

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

3035# spaces before the newline of a line-ending backslash
3036def esc.sp(sp: Bool, bb: Bool, tt: Bool, nn: Bool, ff: Bool, rr: Bool, uuu: Bool, uu: Bool) -> Esc:
3037  match sp:
3038    case True{}:
3039      EFold{False{}}
3040    case False{}:
3041      esc.letter(bb, tt, nn, ff, rr, uuu, uu)

Uses (3)

Used by (1)