~/jendhub

def push

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

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

405def push(vs: List<&2, U32>, r: Maybe<&1, U32 & String>) -> Maybe<&2, P>:
406  match r:
407    case None{}:
408      None{}
409    case Some{(v, t)}:
410      Some{P{Con{v, vs}, t}}

Uses (7)

Used by (1)