free_pred_type :: PRED_TYPE -> PRED_TYPE
free_pred_type (Pred_type args r) = Pred_type args' r
     where args' = map mkFreeName args

-- | generates the free representation of a CASLTERM
free_pred_type :: PRED_TYPE -> PRED_TYPE
free_pred_type (Pred_type args r) = Pred_type args' r
     where args' = map mkFreeName args

-- | generates the free representation of a CASLTERM
free_pred_type (Pred_type args r) = Pred_type args' r
     where args' = map mkFreeName args

-- | generates the free representation of a CASLTERM