Changeset 1139 for src/Clight/Csyntax.ma
- Timestamp:
- Aug 30, 2011, 12:47:18 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/Csyntax.ma
r961 r1139 318 318 data. See module [AST] for more details. *) 319 319 320 definition clight_program : Type[0] ≝ program clight_fundef type.320 definition clight_program : Type[0] ≝ program clight_fundef (list init_data × type). 321 321 322 322 (* * * Operations over types *)
Note: See TracChangeset
for help on using the changeset viewer.