-val tagged_foll_below : Tag.t -> t -> t -> t
-(*
-val select_desc_only : Ptset.Int.t -> t -> t
-val select_foll_only : Ptset.Int.t -> t -> t -> t
-val select_below : Ptset.Int.t -> Ptset.Int.t -> t -> t
-val select_next : Ptset.Int.t -> Ptset.Int.t -> t -> t -> t
-*)
+val select_desc : Ptset.Int.t -> t -> t
+
+val tagged_foll_ctx : Tag.t -> t -> t -> t
+val select_foll_ctx : Ptset.Int.t -> t -> t -> t
+