def u8

bend-kit-time@0.3.0.0 · time.bend:628

import bend-kit-time@0.3.0.0/time.bend as Time
import Base

628def u8(+s: String, n: Nat) -> U32:
629  be(1n, String.drop(s, n), 0)

Uses (5)

Used by (3)