FDL > PVS > Prelude > sets > set : type-eq-decl

set : TYPE = setof[T]