law jt

lawful-fields@0.1.1.0 · proof_list.bend:229

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

229law jt:
230  for +t: List<&2, List<&2, U32>>
231  for +p: List<&2, U32>
232  for +sep: U32
233  {F.text(List.append(&2, U32, p, F.join.go(t, sep))) == String.join.go(F.texts(t), F.text(p), F.text([sep])) : String}