links

The Links Programming Language
IN THIS PACKAGE
val lines : ( int, int ) Links_core.Utility.Hashtbl.t
method private extract_line : int -> string
method extract_line_range : int -> int -> string
method private extract_substring : Lexing.position -> Lexing.position -> string
method find_line : Lexing.position -> string * int
method lookup : (Lexing.position * Lexing.position) -> Lexing.position * string * string
method parse_into : ( bytes -> int -> int ) -> bytes -> int -> int