{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//!"}]}
//! any function in B could return a type from C, etc. To be able to guarantee
//! The reason for this is that any of B's types could be composed of C's types,
//! that we can always type-check/translate any function, we have to have