module Wp_error: sig
.. end
To be raised a feature of C/ACSL cannot be supported by a memory model
or is not implemented, or ...
val name : string list -> string
exception Error of string * string
To be raised a feature of C/ACSL cannot be supported by a memory model
or is not implemented, or ...
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