Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val run : Bap.Std.program Bap.Std.term -> t
run prog
- returns the mapping from stubs to implementations
val stubs : t -> Core_kernel.Set.M(Bap.Std.Tid).t
val links : t -> Bap.Std.tid Core_kernel.Map.M(Bap.Std.Tid).t