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