Type

(all (A B) (-> (list-t (pair-t A B)) (pair-t (list-t A) (list-t B))))

Description

Split a list of pairs into two lists.

Examples

(list-unzip (@list (make-pair 'a 1) (make-pair 'b 2)))  ;; => (make-pair (@list 'a 'b) (@list 1 2))