syntax_data: {"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"type_op_prove_predicate,"}]}
source_snippet:         type_op_prove_predicate,
context_before:         type_op_ascribe_user_type,
context_after:         type_op_normalize_ty,