law join_text

lawful-fields@0.1.1.0 · proof_list.bend:248

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

248law join_text:
249  for +ps: List<&2, List<&2, U32>>
250  for +sep: U32
251  {F.text(F.join(ps, sep)) == String.join(F.texts(ps), F.text([sep])) : String}