Procedures (infer.Backend.Procedures)

val get_all : 
  filter:IR.Filtering.procedures_filter ->
  unit ->
  IR.Procname.t list

val pp_all : 
  filter:IR.Filtering.procedures_filter ->
  proc_name:bool ->
  defined:bool ->
  source_file:bool ->
  proc_attributes:bool ->
  proc_cfg:bool ->
  callees:bool ->
  Stdlib.Format.formatter ->
  unit ->
  unit

val select_proc_names_interactive : 
  filter:IR.Filtering.procedures_filter ->
  IR.Procname.t list option