2 (** This module implements a parser for [C] based on [gcc] and
5 (** [process ?is_lustre_file ?remove_lustre_externals filename] parses the
6 contents of [filename] to obtain an abstract syntax tree that represents a
9 ?is_lustre_file:bool -> ?remove_lustre_externals:bool ->
10 [`Filename of string | `Source of string * string] -> Clight.program