law order_string_flip

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

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

237law order_string_flip:
238  for x: String
239  for y: String
240  {Order.string(y, x) == flip(Order.string(x, y)) : Cmp}