let print_if_states_list func l =
let rec print_if_states_list_rec = function
[] -> Error_handler.displayWarning 5 "print_if_states"
| [h] ->
if (func <> "print_term_type") then
prout_string " ";
print_if_term func h
| h::t ->
if (func <> "print_term_type") then
prout_string " ";
print_if_term func h ;
if (func <> "print_term_type") then
prout_string func; (* " *)
print_if_states_list_rec t
in
print_if_states_list_rec l