85 open Hints_declaration
111 val aSM_classify00 : 'a1 ASM.preinstruction -> StructuredTraces.status_class
113 val aSM_classify0 : ASM.instruction -> StructuredTraces.status_class
115 val current_instruction :
116 BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
119 val current_instruction_label :
120 BitVector.byte BitVectorTrie.bitVectorTrie -> ASM.costlabel_map ->
121 Status.status -> CostLabel.costlabel Types.option
123 val word_deqset : Deqsets.deqSet
126 BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
127 StructuredTraces.status_class