Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Make.ArraySourcefind_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.