type Exp

cswap-bend-cli@0.1.0.0 · settings.bend:42

import cswap-bend-cli@0.1.0.0/settings.bend as Settings
import Base

42type Exp is Data:
43  Exp{neg: Bool, n: Nat}

Uses (2)

Used by (7)