module Optimization_dxq: sig .. end
sig
end
val lift_execute_rules : (Optimization_walker.optimization_rewrite_rule * string) list
(Optimization_walker.optimization_rewrite_rule * string) list