Original-Via: uk.ac.nsf; Mon, 16 Dec 91 12:39:33 GMT

Kevin writes: 

     type       ->      type -> btype 
                |       btype 

this should be 

     type       ->      btype -> type
                |       btype

-- Mikael R.

Reply via email to