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

val print_program : LTL.program -> string