sig
  module Cps :
    sig
      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
    end
  val t : t -> Type.t
  val t_or_comment : t_or_comment -> Type.t option
  val t_or_comments : t_or_comment list -> Type.t list
end