let rec brackets_toff = function | TIndex(_,toff) -> (match brackets_toff toff with | Some n ->Some (1+n) | None -> None ) | TNoOffset -> Some 0 | _ -> None