5 ms·I think the first line imports view.k: http://www.kparc.com/$/view.k http://www.kparc.com/$/view.kby xdissent 12y agoI think the first line imports view.k: http://www.kparc.com/$/view.k http://www.kparc.com/$/view.k