BendtorchLoad.St.out_go: def of bendtorch-load@1.3.0.0
Import: import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
Lines 270-276 of bendtorch-load@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-load@1.3.0.0/main.bend&start_line=270&end_line=276

import Base

def St.out_go(quote: Bool, digit: Bool, space: Bool, pun: Bool, +b: U32) -> LexR:
  match quote digit space pun:
    case True{} _ _ _: LexR{LStr{""}, Nil{}}
    case _ True{} _ _: LexR{LNum{W64.of(U32.sub(b, 48))}, Nil{}}
    case _ _ True{} _: LexR{LOut{}, Nil{}}
    case _ _ _ True{}: LexR{LOut{}, Con{TPun{b}, Nil{}}}
    case _ _ _ _: LexR{LOut{}, Con{TBad{b}, Nil{}}}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bendtorch-load@1.3.0.0/main.bend&name=Lex
  https://jend.leeeet.dev/definition.txt?path=bendtorch-load@1.3.0.0/main.bend&name=LexR
  https://jend.leeeet.dev/definition.txt?path=bendtorch-load@1.3.0.0/main.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=bendtorch-load@1.3.0.0/main.bend&name=W64.of