package goblint-cil

  1. Overview
  2. Docs
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 : out_channel -> unit
val getOutput : unit -> out_channel
val enabled : bool ref