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