~/jendhub

def ver.num

ezx@1.11.0.0 · src/pkg/pkg.bend:376

import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
import Base

376# one number of a version: digits, and no leading zero unless it is `0`
377def ver.num(+text: String) -> Bool:
378  Bool.and(Bool.not(String.is_empty(text)),
379    Bool.and(digits(text),
380      Bool.or(String.eq(text, "0"), Bool.not(String.starts_with(text, "0")))))

Uses (9)

Used by (1)