law to_list_from_list

bend-mathlib@0.8.1.0 · string.bend:477

import Base

477# Converting a character list to a string and back gives the list.
478law to_list_from_list:
479  for cs: List<&2, Char>
480  {String.to_list(String.from_list(cs)) == cs : List<&2, Char>}