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.