Type

(all (E) (-> (set-t E) (set-t E) bool-t))

Description

Check if the first set includes the second.

Examples

(set-include (@set 1 2 3) (@set 1 2))  ;; => true
(set-include (@set 1 2) (@set 1 2 3))  ;; => false
(set-include (@set 1 2 3) (@set))     ;; => true