Util (soteria-rust.Soteria_rust

val fatal : ?name:string -> ?code:int -> string -> 'a

val pp_branches : Stdlib.Format.formatter -> int -> unit

val pp_functions : Stdlib.Format.formatter -> int -> unit

val pp_pc : Stdlib.Format.formatter -> 'a Typed.t list -> unit

val print_pcs : 'a Typed.t list list -> unit