The standard library List_Cross_Product api defines access to functionality mapping functions over cross products of lists, which is to say, over all pairs of one element from the first list and one from the second.
The List_Cross_Product api is implemented by the list_cross_product package.
The List_Cross_Prodcut api source code is in src/lib/src/list-cross-product.api.
The above information is manually maintained and may contain errors.
api {
apply_x : ((Y , Z) -> X) -> (List(Y ) , List(Z )) -> Void;
map_x : ((X , Y) -> Z) -> (List(X ) , List(Y )) -> List(Z );
fold_x : ((X , Y , Z) -> Z) -> (List(X ) , List(Y )) -> Z -> Z;};