> The section 6.6 of OCaml's manual introduces a notion of "Parenthesized
> patterns".

> I couldn't find any examples on how to use this feature, and brute-force
> approach doesn't work:

> # match 1.0 with
>   (y : float)  -> print_float y
> | (s : string) -> print_string s;;
> This pattern matches values of type string
> but is here used to match values of type float
> #

> Could anyone point at a suitable resource?