law split_unsplit

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

import Base

63law split_unsplit:
64  for n: Nat
65  for w: Word(n)
66  for s: Bool
67  {(w, s) == split(n, unsplit(n, w, s)) : Word(n) & Bool}