Module Genr_nary


module Genr_nary: sig .. end

Construction functions for n-ary generators.



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.