Skip to content

set-t

Type ​

meta-lisp
type-t

Description ​

Set type constructor. (set-t E) represents a set with element type E.

Examples ​

meta-lisp
(claim numbers (set-t int-t))