Module Simplification_dba_prog

module Simplification_dba_prog: sig .. end

val remove_mustkill_lfp : Disasm_types.pmap -> Disasm_types.pmap
val remove_goto : Disasm_types.pmap -> Disasm_types.pmap