That's OCaml "patterns" CamlP4 syntax extension. OCaml itself does not have pattern guards and this p4 extension provided it as syntax extensions, which must be desugarred by CamlP4 preprocessor before feeding to OCaml compiler.
Unfortunately "patterns" was not ported to OCaml 4. I do not know exactly why but probably due to the high porting cost to changing OCaml internal representations. CamlP4 is very powerful but its syntax exntesions are hard to write and maintain. Actually the OCaml community is now shifting to PPX, another preprocessor framework. PPX cannot change OCaml syntax itself but things are much easier there.
Recently I wrote a PPX extension for pattern guards which works with 4.02.1: https://bitbucket.org/camlspotter/ppx_pattern_guard . Your example can be translated to:
match something with
| value when [%guard let y = f x;; y > 0] -> value + y
It looks uglier than "patterns" but in PPX we have to be within the vanilla syntax with some attributes and extensions like [%guard ...]
.