|
Last change
on this file since 1319 was
818,
checked in by ayache, 10 years ago
|
|
32 and 16 bits operations support in D2.2/8051
|
|
File size:
357 bytes
|
| Rev | Line | |
|---|
| [486] | 1 | (** This module provides functions to print elements of [Clight] |
|---|
| 2 | programs. *) |
|---|
| 3 | |
|---|
| 4 | val print_program: Clight.program -> string |
|---|
| 5 | |
|---|
| [818] | 6 | val print_expression: Clight.expr -> string |
|---|
| [486] | 7 | |
|---|
| 8 | val string_of_ctype: Clight.ctype -> string |
|---|
| 9 | |
|---|
| 10 | val print_statement: Clight.statement -> string |
|---|
| [818] | 11 | |
|---|
| 12 | val print_ctype_prot: Clight.ctype -> string |
|---|
| 13 | |
|---|
| 14 | val print_ctype_def: Clight.ctype -> string |
|---|
Note: See
TracBrowser
for help on using the repository browser.
