But what about a polymorphic version?

• It should be polymorphic with respect to = and <

• int_tree is an equality type

  • Does = do the right thing?

• Define using explicit type variables

Previous slide

Next slide

Back to first slide

View graphic version