let
iter_all f =
begin
iter
S_name
f ;
iter
S_typedef
f ;
iter
S_userdef
f ;
iter
S_goals
f ;
end