it is quite common that comments are abstracted as well, for example: ``` #define Make(t)\ (** [t] *) \ type elt = t ``` In general, you wish both to bel replaced