def Word.shl.out.con

Base · base.bend:1289

1289def Word.shl.out.con(-p: Nat, c: Bool, r: Bool & Word(p)) -> Bool & Word(1n+p):
1290  (hi, t2) = r
1291  (hi, WCon{c, t2})