law eq_refl

bend-mathlib@0.8.1.0 · string.bend:248

import Base

248# Every string is equal to itself under String.eq.
249law eq_refl:
250  for s: String
251  {String.eq(s, s) == True{} : Bool}