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