let rec lvl_of_path (path : t_path) : int = match path with | [] -> 0 | hd :: tl -> match hd with | ITM_NODE _ -> lvl_of_path tl + 1 | BLT_NODE -> lvl_of_path tl + 1 | _ -> lvl_of_path tl