package bap-microx
module Concretizer = Microx_concretizer
module Conqueror = Microx_conqueror
class +'a concretizer : ?memory:(Bap.Std.addr ->
Bap.Std.word option) -> ?lookup:(Bap.Std.var ->
Bap.Std.word option) -> ?random_seed:int -> ?reg_policy:Concretizer.policy -> ?mem_policy:
Concretizer.policy -> unit -> object ... end
class +'a conqueror : ?deterministic:bool -> Bap.Std.program Bap.Std.term -> object ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>