at.logic.gapt.expr
Returns the set of all variables occurring in the given argument (including vacuously bound variables).
Returns the set of all variables occurring in the given argument (including vacuously bound variables).