Int.Radix.sign: def of bend-kit-int@0.2.0.0
Import: import bend-kit-int@0.2.0.0/int.bend as Int
Lines 330-337 of bend-kit-int@0.2.0.0/int.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-int@0.2.0.0/int.bend&start_line=330&end_line=337

import Base

# Splits one leading '-' or '+' off s: (negative, rest).
def Radix.sign(s: String) -> Bool & String:
  match s:
    case SNil{}:
      (False{}, SNil{})
    case SCon{Chr{x}, t}:
      +c = {x : U32}
      Radix.sign.if(U32.is_eq(c, 45), U32.is_eq(c, 43), Chr{c}, t)

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=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=Radix.sign.if