Given racket/place/distributed then the typing should go into base-env.rkt true?<div>Assuming so, we face the situation that the place/distributed API uses class instances.</div><div><br></div><div>e.g. spawn-node-supervise-place-at returns (values remote-node% remote-connection%)</div>
<div><br></div><div>I know how to do it a la collects/types/mred but I couldn&#39;t spot an example of class/instance typing in directly in base-env.rkt&#39;s DSL typing syntax.</div><div><br></div><div>Could an example be provided?</div>
<div><br></div><div>Thanks.</div>