Serviceを読んで理解し、同意したものとみなします。すべて9OCamlにCのような行コメントはないのでしょうか。行コメントは無いです。行コメントの実装は簡単です。どのような記号を採用しても後方互換性を捨てる変更になりますので、今さら採用するほどのものではないと思われているようです。処理系のパーサーを改造する。後者のほうが浸入的でない改造なので受け入れられやすいと思われます。参考になると思います。