{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
    /// - `var_values`: a map from bound variables in the canonical goal to
    ///
    ///   the values inferred while solving the instantiated goal.