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