Eval (p.bap-primus-support.2.1.0.doc.bap-plugin-primus_greedy.Primus_greedy

type 'a m = 'a Machine.t

val time : Bap_primus.Std.Primus.Time.t m

val halt : Core_kernel.never_returns m

val interrupt : int -> unit m

val pc : Bap.Std.addr m

val pos : Bap_primus.Std.Primus.pos m

val sub : Bap.Std.sub Bap.Std.term -> unit m

val blk : Bap.Std.blk Bap.Std.term -> unit m

val exp : Bap.Std.exp -> Bap_primus.Std.Primus.value m

val get : Bap.Std.var -> Bap_primus.Std.Primus.value m

val set : Bap.Std.var -> Bap_primus.Std.Primus.value -> unit m

val binop : 
  Bap.Std.binop ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val unop : 
  Bap.Std.unop ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val cast : 
  Bap.Std.cast ->
  int ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val concat : 
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val extract : 
  hi:int ->
  lo:int ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val const : Bap.Std.word -> Bap_primus.Std.Primus.value m

val ite : 
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val load : 
  Bap_primus.Std.Primus.value ->
  Bap.Std.endian ->
  Bap.Std.size ->
  Bap_primus.Std.Primus.value m

val store : 
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap.Std.endian ->
  Bap.Std.size ->
  unit m

val branch : Bap_primus.Std.Primus.value -> 'a m -> 'a m -> 'a m

val repeat : 
  Bap_primus.Std.Primus.value m ->
  'a m ->
  Bap_primus.Std.Primus.value m