Module GoblintCil.Frontc

exception ParseError of string
exception CabsOnly
val args : (string * Arg.spec * string) list
val resetErrors : unit -> unit
val parse : string -> unit -> Cil.file
val parse_with_cabs : string -> unit -> Cabs.file * Cil.file
val parse_standalone_exp : string -> Cabs.expression