1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
13 (* $Id: printlinear.mli 3123 2000-04-21 08:13:22Z weis $ *)
15 (* Pretty-printing of linearized machine code *)
20 val instr: formatter -> instruction -> unit
21 val fundecl: formatter -> fundecl -> unit