module Genr_nary:sig
..end
val genr_function : Otype.constructor_definition -> Genr_base.generated_functions
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.