law order_string_eq

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

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

231law order_string_eq:
232  for x: String
233  for y: String
234  for e: {Order.string(x, y) == EQ{} : Cmp}
235  {x == y : String}