let
variables_proc a =
Variable
.
Set
.filter
Variable
.is_proc (variables a)