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 '| Warning of string * string   val protect : exn -> string * string   val protect_function : ('-> 'b) -> '-> 'Wp_error.cc   val protect_translation : ('-> '-> 'r) -> '-> '-> 'Wp_error.cc   val protect_translation3 :     ('-> '-> '-> 'r) -> '-> '-> '-> 'Wp_error.cc   val protect_translation4 :     ('-> '-> '-> '-> 'r) -> '-> '-> '-> '-> 'Wp_error.cc   val protect_translation5 :     ('-> '-> '-> '-> '-> 'r) ->     '-> '-> '-> '-> '-> 'Wp_error.cc   val protect_map : ('-> 'Wp_error.cc) -> 'a list -> 'b list Wp_error.cc end