package caps

  1. Overview
  2. Docs

Module TCB.LexingSource

Sourcetype position = Lexing.position = {
  1. pos_fname : string;
  2. pos_lnum : int;
  3. pos_bol : int;
  4. pos_cnum : int;
}
Sourcetype lexbuf = Lexing.lexbuf = {
  1. refill_buff : lexbuf -> unit;
  2. mutable lex_buffer : bytes;
  3. mutable lex_buffer_len : int;
  4. mutable lex_abs_pos : int;
  5. mutable lex_start_pos : int;
  6. mutable lex_curr_pos : int;
  7. mutable lex_last_pos : int;
  8. mutable lex_last_action : int;
  9. mutable lex_eof_reached : bool;
  10. mutable lex_mem : int array;
  11. mutable lex_start_p : position;
  12. mutable lex_curr_p : position;
}
Sourceval from_string : ?with_positions:??? -> string -> Lexing.lexbuf
Sourceval from_channel : ?with_positions:??? -> in_channel -> Lexing.lexbuf