Module `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 -> attr_kind:bool -> source_file:bool -> proc_attributes:bool -> proc_cfg:bool -> Stdlib.Format.formatter -> unit -> unit
val select_proc_names_interactive : filter:IR.Filtering.procedures_filter -> IR.Procname.t list option