module Genr_binary:sig
..end
val genr_function : Otype.constructor_definition -> Genr_base.generated_functions
genr_function g
generates a binary function (here binary
means that the function has a pair as unique argument) that normalizes
terms that are built with g
as their head constructor.
This is only valid for binary generators.