{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"documentation"}]}
   documentation for the [`check`] module.
   several phases (check, regionck, writeback), as discussed in the