source: extracted/compute_fixpoints.mli @ 2736

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

Untrusted fixpoint computation branched in.

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