I'm currently trying to get a grip on Standard ML and are trying to understand what the following function does?
fun testfunction (a, nill) = false
| testfunction (a, b::bs) = a=b orelse testfunction (a,bs);
As I think it's taking two arguments, an element and a list with concatenated first element. if this fails it returns false otherwise checks if a are an element of the list?