Example con’t

structure IntOrder = structtype T = int;

val eq = (op =);

val lt = (op <);

end;

structure IntSort = Sort(IntOrder);

IntSort.sort([3,5,~2]);

Previous slide

Next slide

Back to first slide

View graphic version