syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! Core logic responsible for determining what it means for various type system
context_after: //! primitives to be "well formed". Actually checking whether these primitives are