(** This module provides a function to print [ASM] programs. *)

val print_program : Extracted.ASM.labelled_object_code -> string