Updated some functions, renamed, added from_to

2019-08-29 13:41:04 +02:00
parent 60528e9128
commit 1d962f2001
2 changed files with 32 additions and 18 deletions
@@ -19,7 +19,7 @@ namespace Option =

  function force(o : option('a)) : 'a = default(abort("Forced None value"), o)

-  function on_elem(f : 'a => unit, o : option('a)) : unit = match((), f, o)
+  function on_elem(o : option('a), f : 'a => unit) : unit = match((), f, o)

  function map(f : 'a => 'b, o : option('a)) : option('b) = switch(o)
    None => None