law order_string_trans

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

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

242law order_string_trans:
243  for x: String
244  for y: String
245  for z: String
246  for e1: {Order.string(x, y) == LT{} : Cmp}
247  for e2: {Order.string(y, z) == LT{} : Cmp}
248  {Order.string(x, z) == LT{} : Cmp}