Module Term.Map

module Map: sig  end

Maps with terms as keys.