/* Debug test for map function */

/* Test basic map functionality */
double : x -> x * 2;
numbers : {1, 2, 3};
doubled : map @double numbers;
..out "Doubled numbers:";
..out doubled;

/* Test map with equals */
is_zero : x -> equals x 0;
test_values : {0, 1, 2};
zero_test : map @is_zero test_values;
..out "Zero test:";
..out zero_test;

/* Test with our specific case */
mod3 : n -> n % 3;
mod5 : n -> n % 5;
div_15 : {mod3 15, mod5 15};
..out "Div 15:";
..out div_15;

divisibility : n -> map @is_zero {mod3 n, mod5 n};
result : divisibility 15;
..out "Divisibility result:";
..out result;