blob: 266207238e5bf8835b89f60d130ed9af3e7701a3 (
plain)
1
2
3
4
|
val decompose_path : (int list * int list) -> (int list * int list * int list);;
val int_list_to_string : string -> int list -> string;;
val is_prefix : int list -> int list -> bool;;
val lex_smaller : int list -> int list -> bool;;
|
