source: src/ERTL/Build.ma @ 746

Last change on this file since 746 was 733, checked in by mulligan, 9 years ago

Fixed partial commit.

File size: 149 bytes
Line 
1include "ERTL/ERTL.ma".
2
3definition build ≝
4  λint_fun: ERTLInternalFunction.
5    let liveafter ≝ analyze int_fun in
6    let graph ≝ create
7
Note: See TracBrowser for help on using the repository browser.