law omap_new_searchtree

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

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

152law omap_new_searchtree:
153  for ~K: Data
154  for ~V: Data
155  for ~cmp: K -> K -> Cmp
156  {searchtree(~K, ~V, ~cmp, O.OMap.new(K, V)) == True{} : Bool}