Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module CPU : Bap.Std.CPUaccess to the CPU variables.
val lift : Bap.Std.lifterlift mem insn lifts provided instruction to BIL. Usually you do not need to call this function directly, as disassemble function will do the lifting.
postcondition: the returned BIL code is well-typed.