Parameter Make.T

type distance = int
module Cond_branch : sig ... end
val offset_pc_at_branch : 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