summaryrefslogtreecommitdiff
path: root/src/util.mli
blob: 9a52268ba58ddd8192a3ec21c1178e66f6e8fd4c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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_path : string -> string list