src/Pure/General/basics.ML

   val #>> : ('a -> 'c * 'b) * ('c -> 'd) -> 'a -> 'd * 'b
   val ##> : ('a -> 'c * 'b) * ('b -> 'd) -> 'a -> 'c * 'd
   val ##>> : ('a -> 'c * 'b) * ('b -> 'e * 'd) -> 'a -> ('c * 'e) * 'd
   val ` : ('b -> 'a) -> 'b -> 'a * 'b
   val tap: ('b -> 'a) -> 'b -> 'b
+  val flip: ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
 
   (*options*)
   val is_some: 'a option -> bool
   val is_none: 'a option -> bool
   val the: 'a option -> 'a

 
 (*result views*)
 fun `f = fn x => (f x, x);
 fun tap f = fn x => (f x; x);
 
+fun flip f x y = f y x
 
 (* options *)
 
 fun is_some (SOME _) = true
   | is_some NONE = false;