Riscv (p.jasmin.2026.03.0.doc.jasmin.jasmin.Jasmin.Riscv)

val sem_cond_arg : 
  (Riscv_decl.register -> Word0.word) ->
  Riscv_decl.register option ->
  Word0.word

val sem_cond_kind : 
  Riscv_decl.condition_kind ->
  Word0.word ->
  Word0.word ->
  bool

val riscv_eval_cond : 
  (Riscv_decl.register -> Word0.word) ->
  Riscv_decl.condt ->
  (Utils0.error, bool) Utils0.result

val riscv : 
  (Riscv_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arch_utils.empty,
    Riscv_decl.condt,
    Riscv_instr_decl.riscv_op)
    Arch_decl.asm