Module GDL.Terms

module Terms: Set.S  with type elt = term