clightParser.mli

   1 (** This module implements a parser for [C] based on [gcc] and
   2     [CIL]. *)
   3
   4 (** [process ?is_lustre_file ?remove_lustre_externals filename] parses the
   5     contents of [filename] to obtain an abstract syntax tree that represents a
   6     Clight program. *)
   7 val process :
   8   ?is_lustre_file:bool -> ?remove_lustre_externals:bool ->
   9   string -> Extracted.Csyntax.clight_program