specmonstah

This commit is contained in:
Michiel Borkent 2022-09-30 13:29:25 +02:00
parent 226c804c27
commit 1848156098

View file

@ -116,7 +116,8 @@
'double* (copy-var gen/double* gns) 'double* (copy-var gen/double* gns)
'return (copy-var gen/return gns) 'return (copy-var gen/return gns)
'symbol (copy-var gen/symbol gns) 'symbol (copy-var gen/symbol gns)
'gen-for-pred (copy-var gen/gen-for-pred gns)}) 'gen-for-pred (copy-var gen/gen-for-pred gns)
'such-that (copy-var gen/such-that gns)})
;; def-impl ;; def-impl
;; -> spec? ;; OK ;; -> spec? ;; OK