New Paste
Browse
Search
What is this?
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
)
)
)