law char_cmp_refl

bend-mathlib@0.8.1.0 · string.bend:159

import Base

159# Comparing a character with itself gives EQ and hands both back.
160law char_cmp_refl:
161  for c: Char
162  {Char.cmp(c, c) == ((c, c), EQ{}) : (Char & Char) & Cmp}