law omap_searchtree_keys_sorted

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

import Base
import bend-kit-collections@0.1.4.1/omap.bend as O

185law omap_searchtree_keys_sorted:
186  for ~K: Data
187  for ~V: Data
188  for ~cmp: K -> K -> Cmp
189  for m: O.OMap<K, V>
190  for tree: {searchtree(~K, ~V, ~cmp, m) == True{} : Bool}
191  {sorted(~K, ~cmp, O.OMap.keys(K, V, m)) == True{} : Bool}