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

val print_program: LIN.program -> string