Bap_riscv_target (bap-riscv.Bap_riscv

type r64

and r32

and r8

type 'a bitv =
  'a Bap_core_theory.Theory.Bitv.t Bap_core_theory.Theory.Value.sort

val parent : Bap_core_theory.Theory.Target.t

val riscv32 : Bap_core_theory.Theory.Target.t

val riscv64 : Bap_core_theory.Theory.Target.t

val llvm32 : Bap_core_theory.Theory.Language.t

val llvm64 : Bap_core_theory.Theory.Language.t