<div>In the vein of scribblings for various typed/racket idioms.</div><div><br></div>How would you scribble a define-type. <div>e.g.</div><div><br></div><div>(define-type AttributeReq (U &#39;All &#39;SenderId &#39;SentTimestamp &#39;ApproximateReceiveCount &#39;ApproximateFirstReceiveTimestamp))<br>
<br></div>