Fixed.esign: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed Lines 70-76 of emerging-ezjson@1.3.0.0/src/fixed.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&start_line=70&end_line=76 import Base # an exponent's sign and digits def esign(txt: String) -> Bool & String: match txt: case SNil{}: (False{}, "") case SCon{+hd, tl}: esign.at(Char.is_eq(hd, '-'), Char.is_eq(hd, '+'), hd, tl) Uses (7): 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=Char.is_eq 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=emerging-ezjson@1.3.0.0/src/fixed.bend&name=esign.at