diff options
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/util.ml b/src/util.ml index 10e7a25..bb30645 100644 --- a/src/util.ml +++ b/src/util.ml @@ -1,5 +1,7 @@ exception Syntax_error of ((int * int) option * string) +external lex_numeric_compare: string -> string -> int = "caml_lex_numeric_compare" + external length : string -> int = "%string_length" external unsafe_get : string -> int -> char = "%string_unsafe_get" @@ -29,3 +31,6 @@ let default default_value opt = match opt with | None -> default_value | Some value -> value + +let lexical_numeric_compare s t = + lex_numeric_compare s t |