Arm_arch_full (p.jasmin.2026.03.0.doc.jasmin.jasmin.Jasmin.Arm_arch

Sourcemodule type Arm_input = sig ... end

Sourcemodule Arm_core : sig ... end

module Arm
  (Lowering_params : Arm_input) : 
  Arch_full.Core_arch
    with type reg = Arm_decl.register
     and type regx = Arch_utils.empty
     and type xreg = Arch_utils.empty
     and type rflag = Arm_decl.rflag
     and type cond = Arm_decl.condt
     and type asm_op = Arm_instr_decl.arm_op
     and type extra_op = Arm_extra.arm_extra_op