def cut.dot

emerging-ezjson@1.3.0.0 · src/fixed.bend:52

import Base

52# a text cut at its first decimal point: what is before it, and after it
53def cut.dot(txt: String) -> String & String:
54  match txt:
55    case SNil{}:
56      ("", "")
57    case SCon{+hd, +tl}:
58      cut.at(mark.dot(hd), hd, tl, _u => cut.dot(tl))