type Sum

bendtorch@1.3.0.0 · spec.bend:153

import Base

153type Sum is Data:
154  SCell{i: Nat}
155  SAdd{a: Sum, b: Sum}