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

val print_statement : RTLabs.statement -> string

val print_program : RTLabs.program -> string