It can just be `///` like the comment directly above.