Module LogtkSymbol.Map

module Map: Sequence.Map.S  with type key = t