{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
                    // For placeholders which were already part of the input, we simply map this
                } else {
                    // universal bound variable back the placeholder of the input.