113 open Hints_declaration
130 | Decision_spill of Nat.nat
131 | Decision_colour of I8051.register
133 val decision_rect_Type4 :
134 (Nat.nat -> 'a1) -> (I8051.register -> 'a1) -> decision -> 'a1
136 val decision_rect_Type5 :
137 (Nat.nat -> 'a1) -> (I8051.register -> 'a1) -> decision -> 'a1
139 val decision_rect_Type3 :
140 (Nat.nat -> 'a1) -> (I8051.register -> 'a1) -> decision -> 'a1
142 val decision_rect_Type2 :
143 (Nat.nat -> 'a1) -> (I8051.register -> 'a1) -> decision -> 'a1
145 val decision_rect_Type1 :
146 (Nat.nat -> 'a1) -> (I8051.register -> 'a1) -> decision -> 'a1
148 val decision_rect_Type0 :
149 (Nat.nat -> 'a1) -> (I8051.register -> 'a1) -> decision -> 'a1
151 val decision_inv_rect_Type4 :
152 decision -> (Nat.nat -> __ -> 'a1) -> (I8051.register -> __ -> 'a1) -> 'a1
154 val decision_inv_rect_Type3 :
155 decision -> (Nat.nat -> __ -> 'a1) -> (I8051.register -> __ -> 'a1) -> 'a1
157 val decision_inv_rect_Type2 :
158 decision -> (Nat.nat -> __ -> 'a1) -> (I8051.register -> __ -> 'a1) -> 'a1
160 val decision_inv_rect_Type1 :
161 decision -> (Nat.nat -> __ -> 'a1) -> (I8051.register -> __ -> 'a1) -> 'a1
163 val decision_inv_rect_Type0 :
164 decision -> (Nat.nat -> __ -> 'a1) -> (I8051.register -> __ -> 'a1) -> 'a1
166 val decision_discr : decision -> decision -> __
168 val decision_jmdiscr : decision -> decision -> __
170 type coloured_graph = { colouring : (Liveness.vertex -> decision);
171 spilled_no : Nat.nat }
173 val coloured_graph_rect_Type4 :
174 Fixpoints.valuation -> ((Liveness.vertex -> decision) -> Nat.nat -> __ ->
175 __ -> 'a1) -> coloured_graph -> 'a1
177 val coloured_graph_rect_Type5 :
178 Fixpoints.valuation -> ((Liveness.vertex -> decision) -> Nat.nat -> __ ->
179 __ -> 'a1) -> coloured_graph -> 'a1
181 val coloured_graph_rect_Type3 :
182 Fixpoints.valuation -> ((Liveness.vertex -> decision) -> Nat.nat -> __ ->
183 __ -> 'a1) -> coloured_graph -> 'a1
185 val coloured_graph_rect_Type2 :
186 Fixpoints.valuation -> ((Liveness.vertex -> decision) -> Nat.nat -> __ ->
187 __ -> 'a1) -> coloured_graph -> 'a1
189 val coloured_graph_rect_Type1 :
190 Fixpoints.valuation -> ((Liveness.vertex -> decision) -> Nat.nat -> __ ->
191 __ -> 'a1) -> coloured_graph -> 'a1
193 val coloured_graph_rect_Type0 :
194 Fixpoints.valuation -> ((Liveness.vertex -> decision) -> Nat.nat -> __ ->
195 __ -> 'a1) -> coloured_graph -> 'a1
198 Fixpoints.valuation -> coloured_graph -> Liveness.vertex -> decision
200 val spilled_no : Fixpoints.valuation -> coloured_graph -> Nat.nat
202 val coloured_graph_inv_rect_Type4 :
203 Fixpoints.valuation -> coloured_graph -> ((Liveness.vertex -> decision) ->
204 Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
206 val coloured_graph_inv_rect_Type3 :
207 Fixpoints.valuation -> coloured_graph -> ((Liveness.vertex -> decision) ->
208 Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
210 val coloured_graph_inv_rect_Type2 :
211 Fixpoints.valuation -> coloured_graph -> ((Liveness.vertex -> decision) ->
212 Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
214 val coloured_graph_inv_rect_Type1 :
215 Fixpoints.valuation -> coloured_graph -> ((Liveness.vertex -> decision) ->
216 Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
218 val coloured_graph_inv_rect_Type0 :
219 Fixpoints.valuation -> coloured_graph -> ((Liveness.vertex -> decision) ->
220 Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
222 val coloured_graph_discr :
223 Fixpoints.valuation -> coloured_graph -> coloured_graph -> __
225 val coloured_graph_jmdiscr :
226 Fixpoints.valuation -> coloured_graph -> coloured_graph -> __
228 type coloured_graph_computer =
229 AST.ident List.list -> Joint.joint_internal_function -> Fixpoints.valuation