sig
val name : string list -> string
exception Error of string * string
val set_model : string -> unit
val unsupported :
?model:string ->
('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val not_yet_implemented :
?model:string ->
('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val pp_logic_label :
Stdlib.Format.formatter -> Cil_types.logic_label -> unit
val pp_assigns : Stdlib.Format.formatter -> Cil_types.assigns -> unit
val pp_string_list :
?sep:Pretty_utils.sformat ->
empty:string -> Stdlib.Format.formatter -> string list -> unit
end