Parameter Make.1-T

type distance = int
module Cond_branch : sig ... end
val offset_pc_at_branch : distance
val instr_size : Linearize.instruction_desc -> distance
val relax_allocation : num_bytes:int -> label_after_call_gc:Cmm.label option -> Linearize.instruction_desc
val relax_intop_checkbound : label_after_error:Cmm.label option -> Linearize.instruction_desc
val relax_intop_imm_checkbound : bound:int -> label_after_error:Cmm.label option -> Linearize.instruction_desc
val relax_specific_op : Arch.specific_operation -> Linearize.instruction_desc