val forget_t : t ‑> (Type.t ‑> 'r) ‑> 'r
val forget_toc : t_or_comment ‑> (Type.t option ‑> 'r) ‑> 'r
val forget_tocs : t_or_comment list ‑> (Type.t list ‑> 'r) ‑> 'r