sig
val name : string list -> string
exception Error of string * string
val set_model : string -> unit
val unsupported :
?model:string ->
('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
val not_yet_implemented :
?model:string ->
('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
val pp_logic_label : Format.formatter -> Cil_types.logic_label -> unit
val pp_assigns :
Format.formatter -> Cil_types.identified_term Cil_types.assigns -> unit
val pp_string_list :
?sep:Pretty_utils.sformat ->
empty:string -> Format.formatter -> string list -> unit
type 'a cc = Result of 'a | Warning of string * string
val protect : exn -> string * string
val protect_function : ('a -> 'b) -> 'a -> 'b Wp_error.cc
val protect_translation : ('a -> 'b -> 'r) -> 'a -> 'b -> 'r Wp_error.cc
val protect_translation3 :
('a -> 'b -> 'c -> 'r) -> 'a -> 'b -> 'c -> 'r Wp_error.cc
val protect_translation4 :
('a -> 'b -> 'c -> 'd -> 'r) -> 'a -> 'b -> 'c -> 'd -> 'r Wp_error.cc
val protect_translation5 :
('a -> 'b -> 'c -> 'd -> 'e -> 'r) ->
'a -> 'b -> 'c -> 'd -> 'e -> 'r Wp_error.cc
val protect_map : ('a -> 'b Wp_error.cc) -> 'a list -> 'b list Wp_error.cc
end