Module `Integration.Help`

val list_checkers : unit -> unit: print the list of all checkers

val list_issue_types : unit -> unit: print the list of all known issue types

val show_checkers : IBase.Checker.t list -> unit: show information about the given checkers

val show_issue_types : IBase.IssueType.t list -> unit: show information about the given issue_types

val write_website : website_root:string -> unit: generate files for the fbinfer.com website

val abs_url_of_issue_type : string -> string: given an issue type unique ID, return the URL relative to the root of the website, e.g. abs_url_of_issue_type "NULL_DEREFERENCE" is "/docs/all-issue-types#null_dereference"