Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Arm

Module `Jasmin.Arm`

val arm_eval_cond : 
  (Arm_decl.rflag -> (Utils0.error, bool) Utils0.result) ->
  Arm_decl.condt ->
  (Utils0.error, bool) Utils0.result

val arm : 
  (Arm_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_decl.rflag,
    Arm_decl.condt,
    Arm_instr_decl.arm_op)
    Arch_decl.asm