Module Genr_expression


module Genr_expression: sig .. end

Generation of expressions for construction functions.



val lower_case : Parsetree.expression -> Parsetree.expression
Replaces constructor calls by construction function calls in an expression.
val genr_rule : Parsetree.pattern -> Parsetree.expression -> Code.clause
Generation of a pattern maching clause for a user's defined rewrite rule Rule (p, e), meaning that pattern p should be rewritten as expression e.