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;;
