daily pastebin goal
47%
SHARE
TWEET

Untitled

a guest Aug 20th, 2018 62 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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.  ;;
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top