source: extracted/abstractStatus.mli @ 2649

Last change on this file since 2649 was 2649, checked in by sacerdot, 7 years ago

...

File size: 1.3 KB
Line 
1open Preamble
2
3open String
4
5open LabelledObjects
6
7open Arithmetic
8
9open Integers
10
11open AST
12
13open CostLabel
14
15open Proper
16
17open PositiveMap
18
19open Deqsets
20
21open ErrorMessages
22
23open PreIdentifiers
24
25open Errors
26
27open Extralib
28
29open Setoids
30
31open Monad
32
33open Option
34
35open Lists
36
37open Positive
38
39open Identifiers
40
41open Extranat
42
43open Vector
44
45open Div_and_mod
46
47open Jmeq
48
49open Russell
50
51open Types
52
53open List
54
55open Util
56
57open FoldStuff
58
59open Bool
60
61open Hints_declaration
62
63open Core_notation
64
65open Pts
66
67open Logic
68
69open Relations
70
71open Nat
72
73open BitVector
74
75open ASM
76
77open BitVectorTrie
78
79open Status
80
81open Fetch
82
83open Sets
84
85open Listb
86
87open StructuredTraces
88
89val aSM_classify00 : 'a1 ASM.preinstruction -> StructuredTraces.status_class
90
91val aSM_classify0 : ASM.instruction -> StructuredTraces.status_class
92
93val current_instruction0 :
94  BitVector.byte BitVectorTrie.bitVectorTrie -> BitVector.word ->
95  ASM.instruction
96
97val current_instruction :
98  BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
99  ASM.instruction
100
101val current_instruction_label :
102  BitVector.byte BitVectorTrie.bitVectorTrie -> CostLabel.costlabel
103  BitVectorTrie.bitVectorTrie -> Status.status -> CostLabel.costlabel
104  Types.option
105
106val word_deqset : Deqsets.deqSet
107
108val aSM_classify :
109  BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
110  StructuredTraces.status_class
111
Note: See TracBrowser for help on using the repository browser.