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