module V: sig .. end
sig
end
type t = Cil_types.stmt * bool
Cil_types.stmt * bool
val pretty : Stdlib.Format.formatter -> Cil_types.stmt -> unit
Stdlib.Format.formatter -> Cil_types.stmt -> unit