Module Ltl_output

module Ltl_output: sig .. end

val out_fmt : Format.formatter Pervasives.ref
val ltl_form_to_string : Ltlast.formula -> string
val output : Ltlast.formula -> string -> unit