In OCaml, referring to constructors defined in other modules can be somewhat awkward. Suppose we have a module like the following.
- module Example = struct
- type t = Foo | Bar | Baz
To write a function that pattern matches on values of type
Example.t we could directly refer to the variants as follows.