Branch_relaxation_intf.Smodule Cond_branch : sig ... endval offset_pc_at_branch : distanceval instr_size : Linear.instruction_desc -> distanceval relax_allocation : num_bytes:int -> dbginfo:Debuginfo.alloc_dbginfo -> Linear.instruction_descval relax_intop_checkbound : unit -> Linear.instruction_descval relax_intop_imm_checkbound : bound:int -> Linear.instruction_descval relax_specific_op : Arch.specific_operation -> Linear.instruction_desc