module Ltl_output: sig .. end
sig
end
val output : Ltlast.formula -> string -> unit
Ltlast.formula -> string -> unit