"Type" \_ "proc" eq$
"Data" \_ "close" eq$ and
%
% stack: is-close-proc
%