75 open Hints_declaration
91 val jump_expansion_internal :
92 ASM.labelled_instruction List.list Types.sig0 -> Nat.nat -> (Bool.bool,
93 PolicyFront.ppc_pc_map Types.option) Types.prod Types.sig0
96 ASM.labelled_instruction List.list -> PolicyFront.ppc_pc_map -> Nat.nat ->
100 ASM.labelled_instruction List.list Types.sig0 -> PolicyFront.ppc_pc_map
101 Types.option Types.sig0
103 val jump_expansion' :
104 ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word,
105 BitVector.word -> Bool.bool) Types.prod Types.sig0 Types.option