law pairs_of_flat_cons

bend-prot@0.1.0.0 · LAWS.bend:912

import Base
import bend-prot@0.1.0.0/sim.bend as Sim

912# Flat pairs split head pair from tail pairs.
913law pairs_of_flat_cons:
914  for x: U32
915  for y: U32
916  for t: List<&2, U32>
917  {Sim.pairs_of_flat(x <> y <> t) == (x, y) <> Sim.pairs_of_flat(t) : List<&1, U32 & U32>}