Example

signature ORDERED = sigtype T;

val eq: T * T -> bool;

val lt: T * T -> bool;

end;

functor Sort(O;ORDERED) = struct

fun min(x,y) =

if O.lt(x,y) then x else y;

fun sort(lst) = … O.lt(x,y) …

Previous slide

Next slide

Back to first slide

View graphic version