def label.ok

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

import Base

13def label.ok(+l: String) -> Bool:
14  +n = String.length(l)
15  Bool.and(Nat.is_lt(0n, n), Nat.is_le(n, 63n))