source: driver/ASMPrinter.mli @ 3027

Last change on this file since 3027 was 2999, checked in by sacerdot, 8 years ago

code_memory added to labelled_object_code to avoid recomputing it every time.
This gives a major speed up in the semantics of the extracted code.
File size: 131 bytes
Line 
1
2(** This module provides a function to print [ASM] programs. *)
3
4val print_program : Extracted.ASM.labelled_object_code -> string
Note: See TracBrowser for help on using the repository browser.