def tz.head

cswap-bend-cli@0.1.0.0 · clock.bend:192

import Base

192def tz.head(z: Bool, plus: Bool, minus: Bool, t: String) -> Maybe<&2, U32>:
193  match z plus minus:
194    case True{} _ _:
195      tz.z(t)
196    case False{} True{} _:
197      tz.hm(False{}, t)
198    case False{} False{} True{}:
199      tz.hm(True{}, t)
200    case False{} False{} False{}:
201      None{}