Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- datatype none = Nil
- datatype ('a,'b) abtree = Leaf of none*none*none
- | Br1 of 'a * (('a,'b) abtree) * (('a,'b) abtree)
- | Br2 of 'b * (('b,'b) abtree) * (('b,'b) abtree)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement