val text_below : t -> t
val text_next : t -> t -> t
val tagged_desc : Tag.t -> t -> t
-val tagged_foll_below : Tag.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