FDL > PVS > Prelude > defined types > setof : type-eq-decl

setof : TYPE = [t- > bool]