module Genr_nary:`sig`

..`end`

`val genr_function : ``Otype.constructor_definition -> Genr_base.generated_functions`

We treat the case of n-ary generators.

Let's `g`

be such a generator; we generate a n-ary function (here n-ary
means that the function has a n-tuple as unique argument) that normalizes
terms that are built with `g`

as their head constructor.