source: extracted/untrusted/compute_fixpoints.mli @ 2968

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

Porting the graph colouring stuff from the untrusted prototype to the extracted
code.

File size: 51 bytes
Line 
1val compute_fixpoint : Fixpoints.fixpoint_computer
Note: See TracBrowser for help on using the repository browser.