Module LogicAssigns.Make.Dom

module Dom: M.Heap.Set