def nonzero.at

emerging-ezjson@1.3.0.0 · src/fixed.bend:171

import Base

171# a 0 digit leaves the answer to the rest; any other digit is nonzero
172def nonzero.at(zero: Bool, more: Unit -> Bool) -> Bool:
173  match zero:
174    case False{}:
175      True{}
176    case True{}:
177      more(Unit{})