Module Toplevel_comments.Include_inline

Doc of T, part 2.