Guest User

Untitled

a guest
Aug 20th, 2018
94
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.17 KB | None | 0 0
  1. let rank_transitivity side o1 o2 o3 mkt =
  2. order_higher_ranked(side,o1,o2,mkt) &&
  3. order_higher_ranked(side,o2,o3,mkt)
  4. ==>
  5. order_higher_ranked(side,o1,o3,mkt)
  6. ;;
Add Comment
Please, Sign In to add comment