New Paste
Browse
Search
What is this?
Types
added by sararin 3 days ago
(
:
sort
(
forall
(
e
(
s
(
or
(
vector-of e
)
(
list-of e
)
)
)
)
(
s
(
e e -> *
)
-> s
)
)
)