law order_string_refl

bend-kit-collections@0.1.4.1 · LAWS.bend:224

import Base
import bend-kit-collections@0.1.4.1/order.bend as Order

224# Order.string is a total order with EQ meaning equal strings: it meets the
225# refl, eq, flip and trans facts that the OMap laws above take. It answers for
226# every pair, so it is total; flip makes it antisymmetric.
227law order_string_refl:
228  for x: String
229  {Order.string(x, x) == EQ{} : Cmp}