type NE

bend-ml-autograd@0.1.1.0 · main.bend:22

import Base

22# Expressions with one variable NX, over Nat (a commutative semiring).
23type NE is Data:
24  NCst{n: Nat}
25  NX{}
26  NAdd{a: NE, b: NE}
27  NMul{a: NE, b: NE}