bap-microx

A micro execution framework
Module Microx . Std
constraint 'b = Conqueror.context
method division_by_zero : unit -> 'b Bap.Std.Biri.Expi.r
method empty : Bap.Std.Bil.storage
method enter_term : 't 'p. ( 'p, 't ) Bap.Std.cls -> 't Bap.Std.term -> 'b Bap.Std.Biri.u
method eval : 't 'p. ( 'p, 't ) Bap.Std.cls -> 't Bap.Std.term -> 'b Bap.Std.Biri.u
method eval_arg : Bap.Std.arg Bap.Std.term -> 'b Bap.Std.Biri.u
method eval_blk : Bap.Std.blk Bap.Std.term -> 'b Bap.Std.Biri.u
method eval_call : Bap.Std.call -> 'b Bap.Std.Biri.u
method eval_def : Bap.Std.def Bap.Std.term -> 'b Bap.Std.Biri.u
method eval_direct : Bap.Std.tid -> 'b Bap.Std.Biri.u
method eval_exn : int -> Bap.Std.tid -> 'b Bap.Std.Biri.u
method eval_extract : int -> int -> Bap.Std.exp -> ( Bap.Std.Bil.result, 'b ) Bap.Std.Eval.T2(Bap.Std.Biri.Expi.M).m
method eval_goto : Bap.Std.label -> 'b Bap.Std.Biri.u
method eval_indirect : Bap.Std.exp -> 'b Bap.Std.Biri.u
method eval_jmp : Bap.Std.jmp Bap.Std.term -> 'b Bap.Std.Biri.u
method eval_phi : Bap.Std.phi Bap.Std.term -> 'b Bap.Std.Biri.u
method eval_ret : Bap.Std.label -> 'b Bap.Std.Biri.u
method eval_sub : Bap.Std.sub Bap.Std.term -> 'b Bap.Std.Biri.u
method eval_unknown : string -> Bap.Std.typ -> ( Bap.Std.Bil.result, 'b ) Bap.Std.Eval.T2(Bap.Std.Biri.Expi.M).m
method leave_term : 't 'p. ( 'p, 't ) Bap.Std.cls -> 't Bap.Std.term -> 'b Bap.Std.Biri.u
method lookup : Bap.Std.var -> 'b Bap.Std.Biri.Expi.r
method type_error : Bap.Std.type_error -> 'b Bap.Std.Biri.Expi.r
method undefined_addr : Bap.Std.addr -> 'b Bap.Std.Biri.Expi.r
method undefined_var : Bap.Std.var -> 'b Bap.Std.Biri.Expi.r