diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:17:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:17:29 +0000 |
| commit | 3ceaa85c72b2094bb090a1819b65a2792cf2d3c1 (patch) | |
| tree | 1867a2dbad04858016b4a6da98546dab8f0938a7 /asmcomp/printcmm.mli | |
| parent | 21db169a88b861f854f96f5d2ff3117366738aa1 (diff) | |
Premiere version.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@34 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/printcmm.mli')
| -rw-r--r-- | asmcomp/printcmm.mli | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/asmcomp/printcmm.mli b/asmcomp/printcmm.mli new file mode 100644 index 000000000..9f530eb43 --- /dev/null +++ b/asmcomp/printcmm.mli @@ -0,0 +1,12 @@ +(* Pretty-printing of C-- code *) + +val constant : Cmm.constant -> unit +val machtype_component : Cmm.machtype_component -> unit +val machtype : Cmm.machtype_component array -> unit +val comparison : Cmm.comparison -> unit +val chunk : Cmm.memory_chunk -> unit +val operation : Cmm.operation -> unit +val expression : Cmm.expression -> unit +val fundecl : Cmm.fundecl -> unit +val data : Cmm.data_item list -> unit +val phrase : Cmm.phrase -> unit |