]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/cminor/cminorPrinter.mli
Package description and copyright added.
[pkg-cerco/acc.git] / src / cminor / cminorPrinter.mli
1
2 (** This module provides functions to print elements of [Cminor]
3     programs. *)
4
5 val print_expression : Cminor.expression -> string
6
7 val print_body : int (* indentation *) -> Cminor.statement -> string
8
9 val string_of_statement : Cminor.statement -> string
10
11 val print_program :  Cminor.program -> string
12