Module Genr_binary

module Genr_binary: sig .. end

Construction functions for binary generators.

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.