-val tagged_foll_below : Tag.t -> t -> t -> t
-val select_desc_only : Ptset.t -> t -> t
-val select_foll_only : Ptset.t -> t -> t -> t
-val select_below : Ptset.t -> Ptset.t -> t -> t
-val select_next : Ptset.t -> Ptset.t -> t -> t -> t
+val tagged_foll_ctx : 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
+*)