package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception ParseError of string
exception CabsOnly
val args : (string * Stdlib.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