law reverse_nil

bend-mathlib@0.8.1.0 · string.bend:371

import Base

371# Reversing the empty string gives the empty string.
372law reverse_nil:
373  {String.reverse(SNil{}) == SNil{} : String}