TrapPageFault.Codetype 'a m = 'a Machine.tval link :
?addr:Bap.Std.addr ->
?name:string ->
?tid:Bap.Std.tid ->
Bap_primus.Std.Primus.Linker.code ->
unit mval unlink : Bap_primus.Std.Primus.Linker.name -> unit mval lookup :
Bap_primus.Std.Primus.Linker.name ->
Bap_primus.Std.Primus.Linker.code option mval exec : Bap_primus.Std.Primus.Linker.name -> unit mval resolve_addr : Bap_primus.Std.Primus.Linker.name -> Bap.Std.addr option mval resolve_symbol : Bap_primus.Std.Primus.Linker.name -> string option mval resolve_tid : Bap_primus.Std.Primus.Linker.name -> Bap.Std.tid option mval is_linked : Bap_primus.Std.Primus.Linker.name -> bool m