Module LogtkFormula.S.Map

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