99 open Hints_declaration
121 val traverse_code_internal :
122 ASM.labelled_object_code -> BitVector.word -> Nat.nat -> Nat.nat
123 Identifiers.identifier_map Types.sig0
126 ASM.labelled_object_code -> Nat.nat Identifiers.identifier_map Types.sig0
129 ASM.labelled_object_code -> Nat.nat Identifiers.identifier_map Types.sig0
131 val aSM_cost_map : ASM.labelled_object_code -> StructuredTraces.as_cost_map