Base · base.bend:28
import Base
28type Nat is Data: 29 Zero{} 30 Succ{pred: Nat}
This definition uses no other definition.