Module Simplification_dba_instr

module Simplification_dba_instr: sig .. end

val simplify_expr : Dba.expr -> Dba.expr
val simplify_instruction : Dba.instruction -> Dba.instruction