Lex.refine_op: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/lex.bend as Lex
Lines 265-273 of bolt@1.27.0.0/src/syntax/lex.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&start_line=265&end_line=273

import Base

# a whole operator's kind
def refine_op(+tt: String) -> TokKind:
  Bool.pick(TokKind, String.eq(tt, ":"), TColon{},
    Bool.pick(TokKind, String.eq(tt, "="), TEq{},
      Bool.pick(TokKind, String.eq(tt, "<-"), TBind{},
        Bool.pick(TokKind, String.eq(tt, "->"), TArrow{},
          Bool.pick(TokKind, String.eq(tt, "=>"), TLam{},
            Bool.pick(TokKind, Bool.or(String.eq(tt, "@"), Bool.or(String.eq(tt, "@+"), String.eq(tt, "@-"))), TAll{},
              Bool.pick(TokKind, String.eq(tt, "&"), TAmp{}, TOp{})))))))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind