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

val print_program : ERTL.program -> string