module Misc: sig .. end
sig
end
exception Not_implemented of string
string
val not_implemented : what:string -> unit
what:string -> unit
val emitter : Emitter.t
Emitter.t
val assert_and_validate : kf:Kernel_function.t -> Cil_types.stmt -> Cil_types.predicate -> unit
kf:Kernel_function.t -> Cil_types.stmt -> Cil_types.predicate -> unit