pub unsafe extern "C" fn grammar_add_any_variable(
grammar: Grammar,
symbol: Term,
)Expand description
Allow symbol to be any input variable of a given grammar to corresponding
synth-fun/synth-inv with the same sort as symbol.
@param grammar The grammar.
@param symbol The non-terminal allowed to be any input variable.