Welcome to the CHICKEN Scheme pasting service
Types added by sararin 3 days ago
(: sort (forall (e (s (or (vector-of e) (list-of e))))
(s (e e -> *) -> s)))
(: sort (forall (e (s (or (vector-of e) (list-of e))))
(s (e e -> *) -> s)))