law text_app

lawful-fields@0.1.1.0 · proof_list.bend:216

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

216law text_app:
217  for +a: List<&2, U32>
218  for +b: List<&2, U32>
219  {F.text(List.append(&2, U32, a, b)) == String.append(F.text(a), F.text(b)) : String}