~/jendhub

def ipv4.go

bend-kit-dns@0.7.0.0 · dns.bend:396

import bend-kit-dns@0.7.0.0/dns.bend as Dns
import Base

396def ipv4.go(s: String) -> Bool:
397  match s:
398    case SNil{}:
399      True{}
400    case SCon{Chr{+c}, t}:
401      Bool.and(Bool.or(U32.is_eq(c, 46), Bool.and(U32.is_le(48, c), U32.is_le(c, 57))), ipv4.go(t))

Uses (7)

Used by (1)