Frontend (soteria-c.Soteria_c_lib.Driver.Frontend)

val lift_parsing_result : 
  ('a * ('b * 'c), Cerb_location.t * Cerb_frontend.Errors.cause)
    Cerb_frontend.Exception.exceptM ->
  ('c, [> `ParsingError of string ] * Cerb_location.t Call_trace.t)
    Stdlib.result

val use_cerb_libc_if_asked : unit -> string

val init : 
  unit ->
  cpp_cmd:string ->
  string ->
  (Cerb_frontend.Cabs.translation_unit
   * (Cerb_frontend.Cabs_to_ail_effect.fin_markers_env
      * Cerb_frontend.GenTypes.genTypeCategory
          Cerb_frontend.AilSyntax.ail_program),
    Cerb_location.t * Cerb_frontend.Errors.cause)
    Cerb_frontend.Exception.exceptM

val frontend : 
  ?cwd:string ->
  cpp_cmd:string ->
  string ->
  (Cerb_frontend.GenTypes.genTypeCategory Cerb_frontend.AilSyntax.ail_program,
    [> `ParsingError of string ] * Cerb_location.t Call_trace.t)
    Stdlib.result

val simple_frontend : 
  includes:string list ->
  string ->
  (Cerb_frontend.GenTypes.genTypeCategory Cerb_frontend.AilSyntax.ail_program,
    [> `ParsingError of string ] * Cerb_location.t Call_trace.t)
    Stdlib.result