13.12. do 表示法🔗

Lean.Parser.Term.do : termdo 表示法见单子一章。