Module TypedSTerm.Map

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