blob: 23038c57ae7963f7e5e5042a1423ba095383a76b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
exception Syntax_error of ((int * int) option * string)
val get_lexing_position : Lexing.lexbuf -> int * int
val escape_string : string -> string
val default : 'a -> 'a option -> 'a
val lexical_numeric_compare : string -> string -> int
val absolute_path : FilePath.filename -> FilePath.filename
val string_of_list : string list -> string
val json_of_list : string list -> string
val list_of_string : string -> string list
val list_of_path : string -> string list
val drop_last : 'a list -> 'a list
val drop_last_n : 'a list -> int -> 'a list
val drop_first : 'a list -> 'a list
val get_last : 'a list -> 'a option
val get_last_n : 'a list -> int -> 'a option
val lex_order : string list -> string list -> int
val colex_order : string list -> string list -> int
val is_empty : 'a list -> bool
val is_sublist : 'a list -> 'a list -> bool
val flag : 'a list -> 'a list list
exception End_of_read of in_channel
val file_compare : ?ignore_line_prefix:string -> string -> string -> bool
|
