In Standard ML, type parameters of the form ’’a are restricted so that the equality operation is available, thus the function would have the type ’’a × ’’a list → bool and ’’a can only be a type with defined equality.
Στην Standard ML, οι παράμετροι τύπων της μορφής ’’a είναι περιορισμένοι έτσι ώστε να είναι διαθέσιμη η λειτουργία της ισότητας, ως εκ τούτου η συνάρτηση θα είχε τον τύπο ’’a × ’’a list → bool και το ’’a μπορεί να είναι μόνο ένας τύπος με την ισότητα ορισμένη.