Module GDL.Tuples

module Tuples: Set.S  with type elt = term array