OCaml Forge

pa-where

pa_where provides a syntax for backward declarations (allowing a top-to-bottom declarative style), using the “where” keyword.

Local definitions in expressions and toplevel definitions are both supported.