Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Make.Array
Sourcefind_map f a
applies f
to the elements of a
in order, and resolves the first result of the form Some v
, or None
if none exist.