Dcode.MakeSourcemodule Stats : Types.EXPLORATION_STATISTICS_FULLmodule State : Types.STATEmodule Fiber :
Fiber.S
with type builtin :=
Binsec.Virtual_address.t ->
Path.t ->
int ->
State.t ->
(State.t, Types.status) Result.tval single :
?hooks:((string * Script.Instr.t list) list * Script.env) ->
task:unit Binsec.Basic_types.Int.Htbl.t ->
Binsec.Virtual_address.t ->
Binsec.Lreader.t ->
int ->
[ `All ] Fiber.t * Binsec.Instruction.t optionval script :
task:unit Binsec.Basic_types.Int.Htbl.t ->
Binsec.Virtual_address.t ->
?fallthrough:bool ->
Script.Instr.t list ->
Script.env ->
[ `All ] Fiber.tval create :
?volatile:bool ->
?hooks:
((string * Script.Instr.t list) list Binsec.Virtual_address.Map.t
* Script.env) ->
task:unit Binsec.Basic_types.Int.Htbl.t ->
Binsec.Virtual_address.t ->
Binsec.Lreader.t ->
int ->
tval register_opcode_hook :
(Binsec.Lreader.t -> (Script.Instr.t list * Script.env) option) ->
unit