law split_join

lawful-fields@0.1.1.0 · LAWS.bend:84

import Base
import lawful-fields@0.1.1.0/defs.bend as F

84# Joining the pieces with the separator gives xs back.
85law split_join:
86  for xs: List<&2, U32>
87  for sep: U32
88  {F.join(F.split(xs, sep), sep) == xs : List<&2, U32>}