law jg_fin

lawful-fields@0.1.1.0 · proof_list.bend:89

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

89# join.go of the pieces of split is the separator, then their join.
90law jg_fin:
91  for +y: U32
92  for +r: List<&2, List<&2, U32>>
93  for +b: Bool
94  for +sep: U32
95  {F.join.go(F.split.fin(y, r, b), sep) == sep <> F.join(F.split.fin(y, r, b), sep) : List<&2, U32>}