law cmp_refl

bend-mathlib@0.8.1.0 · string.bend:178

import Base

178# Comparing a string with itself gives EQ and hands both back.
179law cmp_refl:
180  for s: String
181  {String.cmp(s, s) == ((s, s), EQ{}) : (String & String) & Cmp}