type Word.Con

Base · base.bend:54

54type Word.Con<-p: Nat> is Data:
55  WCon{head: Bool, tail: Word(p)}