source:
Deliverables/D2.2/8051/src/clight/clightLustre.mli
@
3673
| Last change on this file since 3673 was 1490, checked in by , 8 years ago | |
|---|---|
| File size: 202 bytes | |
| Line | |
|---|---|
| 1 | |
| 2 | (** [simplify p] removes in the Clight program [p] references to external |
| 3 | functions generated by the Lustre compiler and that we do not know of. *) |
| 4 | |
| 5 | val simplify : Clight.program -> Clight.program |
Note: See TracBrowser
for help on using the repository browser.
