def num.ok.done

emerging-ezjson@1.3.0.0 · src/value.bend:263

import Base

263def num.ok.done(st: Num) -> Bool:
264  match st:
265    case NZero{}:
266      True{}
267    case NDig{}:
268      True{}
269    case NFrac{}:
270      True{}
271    case NExpD{}:
272      True{}
273    case other:
274      False{}