law reverse_singleton

bend-mathlib@0.8.1.0 · string.bend:378

import Base

378# Reversing a one-character string gives it back.
379law reverse_singleton:
380  for -c: Char
381  {String.reverse(SCon{c, SNil{}}) == SCon{c, SNil{}} : String}