Module LogicAssigns.Make.Hmap

module Hmap: M.Heap.Map