package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val setMSVCMode : unit -> unit
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
OCaml

Innovation. Community. Security.