Add flip

anoma · Oct 15, 2024 · 6f9c600 · 6f9c600
1 parent 5089cad
commit 6f9c600
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/util.sml b/util.sml
@@ -5,6 +5,8 @@ fun snd (_, x) = x
 fun map_or (x : 'a option) (default : 'b) (f : 'a -> 'b) =
     case x of SOME v => f v | NONE => default
 
+fun flip f x y = f y x
+
 fun assert cond str =
     if cond then () else raise Fail ("assert " ^ str)