Searched defs:redundant_12 (Results 1 – 6 of 6) sorted by relevance
1656 redundant_12(50) -> 100; function1657 redundant_12(X) when X >= 50, X =< 80 -> 5*X; function1658 redundant_12(X) when X < 51 -> 2*X; function1659 redundant_12(_) -> none. function
1610 redundant_12(50) -> 100; function1611 redundant_12(X) when X >= 50, X =< 80 -> 5*X; function1612 redundant_12(X) when X < 51 -> 2*X; function1613 redundant_12(_) -> none. function
1588 redundant_12(X) when X >= 50, X =< 80 -> 2*X; function1589 redundant_12(X) when X < 51 -> 5*X; function1590 redundant_12(_) -> none. function