Welcome to the CHICKEN Scheme pasting service
Types added by sararin on Mon Sep 29 20:01:52 2025
(: 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)))