package goblint-cil

  1. Overview
  2. Docs
val wraplexer : (Stdlib.Lexing.lexbuf -> string * string * 'a * Cabs.cabsloc) -> Stdlib.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 : Stdlib.out_channel -> unit
val getOutput : unit -> Stdlib.out_channel
val enabled : bool Stdlib.ref
OCaml

Innovation. Community. Security.