law append_nil

bend-mathlib@0.8.1.0 · string.bend:19

import Base

19# The empty string is a right identity for append: a ++ "" = a.
20law append_nil:
21  for a: String
22  {String.append(a, SNil{}) == a : String}