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_instruction0 :
116 BitVector.byte BitVectorTrie.bitVectorTrie -> BitVector.word ->
119 val current_instruction :
120 BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
123 val current_instruction_label :
124 BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
125 BitVectorTrie.bitVectorTrie -> Status.status -> CostLabel.costlabel
128 val word_deqset : Deqsets.deqSet
131 BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
132 StructuredTraces.status_class