{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"///"}]}
/// not only the generalized type, but also a bool flag
/// Result from a generalization operation. This includes
/// indicating whether further WF checks are needed.