package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Eof
exception InternalError of string
module H = Stdlib.Hashtbl
module E = Errormsg
val keywords : (string, Formatparse.token) H.t
val scan_ident : string -> Formatparse.token
val init : prog:string -> Stdlib.Lexing.lexbuf
val finish : unit -> unit
val error : string -> 'a
val scan_escape : string -> string
val get_value : char -> int
val scan_hex_escape : string -> string
val scan_oct_escape : string -> string
val wbtowc : string -> string
val wstr_to_warray : string -> string
val getArgName : Stdlib.Lexing.lexbuf -> int -> string
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val initial : Stdlib.Lexing.lexbuf -> Formatparse.token
val __ocaml_lex_initial_rec : Stdlib.Lexing.lexbuf -> int -> Formatparse.token
val comment : Stdlib.Lexing.lexbuf -> unit
val __ocaml_lex_comment_rec : Stdlib.Lexing.lexbuf -> int -> unit
val endline : Stdlib.Lexing.lexbuf -> Formatparse.token
val __ocaml_lex_endline_rec : Stdlib.Lexing.lexbuf -> int -> Formatparse.token
OCaml

Innovation. Community. Security.