1 2 3 4 5 6 7 8 9 10 11 12 13
(* TEST * expect *) let f x = match x with | `A -> () | exception Not_found -> () ;; [%%expect{| val f : [< `A ] -> unit = <fun> |}]