Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Clexer
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;
}