Map1

include order
include collections
include numbers

instance key_t : iterable


instance imap : ordered_map(key_t,nat)

export imap.set
export imap.get
export imap.lub