package goblint-cil

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module GoblintCil.Frontc

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

Innovation. Community. Security.