def lead0

bend-toon-codec@0.1.0.0 · src/prim.bend:30

import Base
import bend-toon-codec@0.1.0.0/src/num.bend as N

30def lead0(+m: Maybe<&2, N.Num>) -> Bool:
31  match m:
32    case Some{N.Num{neg, ip, fp, eneg, ex}}:
33      lead0.ip(ip)
34    case None{}:
35      False{}