Update state by applying this template to expand the current hole.
Update state by applying this template to expand the current hole.
Returns true if the subexpression at expIndex of exp could be generated by using this template.
Returns true if the subexpression at expIndex of exp could be generated by using this template.
A template generating a constant, e.g., argmax:<<e,t>,t>. This template is the base case of expression generation as it has no holes.