source: extracted/untrusted/compute_colouring.mli @ 2755

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

Graph colouring terminated up to Uses that will be implemented
in Matita.

File size: 136 bytes
Line 
1val colour_graph :
2 AST.ident List.list ->
3  Joint.joint_internal_function ->
4   Fixpoints.valuation ->
5    Interference.coloured_graph
Note: See TracBrowser for help on using the repository browser.