defined_types provides the declarations for types pred and setof
defined_types [t:TYPE] : THEORY BEGIN
pred : TYPE = [t- > bool]
PRED : TYPE = [t- > bool]
predicate : TYPE = [t- > bool]
PREDICATE : TYPE = [t- > bool]
setof : TYPE = [t- > bool]
SETOF : TYPE = [t- > bool] END defined_types