law jg

lawful-fields@0.1.1.0 · proof_list.bend:108

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

108law jg:
109  for +t: List<&2, U32>
110  for +sep: U32
111  {F.join.go(F.split(t, sep), sep) == sep <> F.join(F.split(t, sep), sep) : List<&2, U32>}