package choice
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Choice.Enum
Source
Enumerate values of type 'a, with a choice point for each value
Combine every element of the first enumeration with every element at the same position in the second enumeration. The result always ends at soon as one of the enumeration ends