law join_text

lawful-fields@0.1.1.0 · LAWS.bend:135

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

135# Joining bytes is joining their text.
136law join_text:
137  for ps: List<&2, List<&2, U32>>
138  for sep: U32
139  {F.text(F.join(ps, sep)) == String.join(F.texts(ps), F.text([sep])) : String}