;; the @param tags in the docstring are actually for the returned ;; closure (hence being below the @return tag in the docstring) (bind-func static svf_c "a state variable filter (SVF)