Module Complete


module Complete: sig .. end

Completion of algebraic properties.



val adhoc_completion : (string * Parsetree.type_declaration) list ->
(string * Parsetree.type_declaration) list
Some relations on a generator imply relations on other generators, that the user cannot or does not need to provide.