☰
jon.recoil.org
blog
notebooks
projects
reference
Module
Migrate_504_503.Bivariant_param
Source
Source
val
list_map :
f
:
(
'a
->
bool *
'b
)
->
'a
list
->
bool *
'b
list