let disp_doc () =
pl "DOCUMENTATION OF ALL FUNCTIONS"; pl separator_double_line ; pl "";
pl "\n\nPREDICATES:"; pl separator_double_line; Hashtbl.iter print_help_page_line hp;
pl "\n\nTRANSFORMS:"; pl separator_double_line; Hashtbl.iter print_help_page_line ht