goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val wraplexer : (Lexing.lexbuf -> string * string * 'a * Cabs.cabsloc) -> Lexing.lexbuf -> 'a
val setFinalWhite : string -> unit
val print : string -> unit
val printl : string list -> unit
val printu : string -> unit
val print_maybe : string -> unit
val printEOF : unit -> unit
val setLoc : Cabs.cabsloc -> unit
val setOutput : Pervasives.out_channel -> unit
val getOutput : unit -> Pervasives.out_channel
val enabled : bool Pervasives.ref