Module Toplevel_comments.M'

Doc of M' from outside