Cubicle 1.1.2 documentation and source : Types.Term.variables_proc

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