law to_list_append

bend-mathlib@0.8.1.0 · string.bend:503

import Base

503# The characters of an append are the characters of each part, appended.
504law to_list_append:
505  for a: String
506  for -b: String
507  {String.to_list(String.append(a, b)) == List.append(&2, Char, String.to_list(a), String.to_list(b)) : List<&2, Char>}