Module Cmm_peephole_engine.Default_variables
val n : int Cmm_peephole_engine.pattern_varval n1 : int Cmm_peephole_engine.pattern_varval n2 : int Cmm_peephole_engine.pattern_varCmm_peephole_engine.Default_variablesval n : int Cmm_peephole_engine.pattern_varval n1 : int Cmm_peephole_engine.pattern_varval n2 : int Cmm_peephole_engine.pattern_var