type Exp

yaml-for-bend@0.1.1.0 · num.bend:6

import Base

6# The exponent after "e": its sign and digits, as an offset point shift.
7type Exp is Data:
8  Exp{neg: Bool, n: Nat}