Base · base.bend:12
import Base
12type Bool is Data: 13 False{} 14 True{}
This definition uses no other definition.