To pick up on a previous topic:<div><br></div><div>OK given define-predicate doesn&#39;t work for mutable datatypes.</div><div><br></div><div>(define-predicate T? (HashTable Symbol String)) ;; goes boom<br></div><div><br></div>
<div>Are we also saying in effect that no possible manual predicate construction will be accepted by TR?</div><div>i,e, is there any form of the below one can construct that TR will accept?</div><div><br></div><div>(: T? (Any -&gt; Boolean : (HashTable Symbol String)))</div>
<div>(define (T? ht)</div><div>  ...)</div><div><br></div>