law omap_keys_ascending_puts

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

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

31law omap_keys_ascending_puts:
32  {O.OMap.keys(U32, U32, m7()) == [1, 2, 3, 4, 5, 6, 7] : List<&2, U32>}