Sourceexception InternalError of string Sourcetype handle = {h_interactive : bool;h_in_channel : in_channel;mutable h_line : string;mutable h_buffer : string;mutable h_pos : int;mutable h_lineno : int;h_out_channel : out_channel;mutable h_file_name : string;h_gcc : bool;h_linerec : bool;
} Sourceval curfile : 'a -> string Sourceval has_gcc : 'a -> bool Sourceval underline_error : string -> int -> int -> string Sourceval display_error : string -> int -> int -> unit Sourceval display_semantic_error : string -> unit Sourceval error : string -> 'a Sourceval test_gcc : 'a -> unit Sourceval init_lexicon : 'a -> unit Sourceval push_context : 'a -> unit Sourceval pop_context : 'a -> unit Sourceval rem_quotes : string -> string Sourceval set_line : int -> unit Sourceval set_name : string -> unit Sourceval scan_escape : string -> string Sourceval get_value : char -> int Sourceval scan_hex_escape : string -> string Sourceval scan_oct_escape : string -> string Sourceval __ocaml_lex_tables : Lexing.lex_tables