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