law cmp_eq

stelliferous@0.0.2.0 · proofs/word_encoding.bend:195

import Base

195law cmp_eq:
196  for +c: Cmp
197  for yes: {Cmp.is_eq(c) == True{} : Bool}
198  {c == EQ{} : Cmp}