def numeric_like

bend-toon-codec@0.1.0.0 · src/text.bend:111

import bend-toon-codec@0.1.0.0/src/text.bend as Text
import Base
import bend-toon-codec@0.1.0.0/src/num.bend as N

111def numeric_like(+s: String) -> Bool:
112  is_some(N.split(s))

Uses (4)

Used by (1)