Module Simplification_dba_block

module Simplification_dba_block: sig .. end
Intra-block simplifications

val block_simplifications : Disasm_types.pmap -> Disasm_types.pmap
module Constant_propagation: sig .. end