module Optimization_rules_sbdo: sig .. end
sig
end
val sbdo_rewrite : Optimization_walker.optimization_rewrite_rule
Optimization_walker.optimization_rewrite_rule
val sbdo_rewrite_two : Optimization_walker.optimization_rewrite_rule