String.to_list_from_list: law of bend-mathlib@0.8.1.0
Import: import bend-mathlib@0.8.1.0/string.bend as String
Lines 477-480 of bend-mathlib@0.8.1.0/string.bend: https://jend.leeeet.dev/read.txt?path=bend-mathlib@0.8.1.0/string.bend&start_line=477&end_line=480

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.from_list
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_list