def split.cons

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:37

import Base

37def split.cons(-n: Nat, b: Bool, r: Word(n) & Bool) -> Word(1n+n) & Bool:
38  (w, s) = r
39  (WCon{b, w}, s)