Base · base.bend:9
import Base
9type Unit is Data: 10 Unit{}
This definition uses no other definition.