{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//!"}]}
//! you can do something like `.sub(a, b)` or `.eq(a, b)` to create a
//! operation as well as the surrounding parameter environment. Then
//! subtype or equality relationship respectively. The first argument