~/jendhub

def zone.num

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

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

481def zone.num(+neg: U32, vs: List<&2, U32>, t: String) -> Maybe<&2, P>:
482  do Maybe<&2, P>:
483    a : P <- num(2n, P{Con{neg, vs}, t})
484    b : P <- lit(58, a)
485    num(2n, b)

Uses (8)

Used by (1)