~/jendhub

def num.zero.exp

emerging-eztoml@0.9.0.0 · main.bend:1437

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

1437# an exponent after zero, or a rejected extra digit
1438def num.zero.exp(eee: Bool, ee: Bool, st: Num, +cc: Char) -> Num:
1439  match eee:
1440    case True{}:
1441      num.exp(st)
1442    case False{}:
1443      num.zero.exp2(ee, st, cc)

Uses (5)

Used by (1)