(** This module provides a function to print [RTL] programs. *) val print_program : RTL.program -> string