Module assoc-map

This module offers utility functions to work with Map's defined as ordered associative lists. It is implemented as defined in the Marlowe spec.

See

https://github.com/input-output-hk/marlowe/blob/master/isabelle/Util/MList.thy