src/clight/clightParser.mli

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