Commits

Anonymous committed 091e854

Option: + dump

  • Participants
  • Parent commits cb62539

Comments (0)

Files changed (1)

 
     value map f = fun [ None -> None | Some x -> Some (f x) ];
 
+    value dump f opt =
+      match opt with
+      [ None -> "None"
+      | Some v -> "(Some " ^ f v ^ ")"
+      ]
+    ;
+
     open Cdt;
 
     class ti ['z]