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

val print_statement : Extracted.RTLabs_syntax.statement -> string

val print_program : Extracted.RTLabs_syntax.rTLabs_program -> string