sig
  val genr_function :
    Otype.constructor_definition -> Genr_base.generated_functions
end