module Promelaoutput: sig
.. end
val out_fmt : Format.formatter Pervasives.ref
val string_of_condition : Promelaast.condition -> string
val c_string_of_condition : Promelaast.condition -> string
val trans_label : int -> string
val string_of_trans : int -> Promelaast.condition -> string
val string_of_state : Promelaast.state -> string
val print_bool3 : Bool3.bool3 -> unit
val print_cross : Promelaast.condition -> unit
val print_transition : Promelaast.trans -> unit
val print_transitionl : Promelaast.trans list -> unit
val print_state : Promelaast.state -> unit
val print_statel : Promelaast.state list -> unit
val print_raw_automata : Promelaast.state list * Promelaast.trans list -> unit
val print_start_block : string -> unit
val print_end_block : string -> unit
val print_operations_list : string list -> unit
val print_operations_constants : Promelaast.state list * 'a list -> unit
val print_ghosts_declaration : string -> Promelaast.state list -> unit
val print_macros : 'a list * 'b list -> unit
val print_buch_synch : unit -> unit
val dot_state : Format.formatter -> Promelaast.state -> unit
val dot_trans : Format.formatter -> Promelaast.trans -> unit
val dot_guards : Format.formatter -> Promelaast.trans -> unit
val output_dot_automata : Promelaast.state list * Promelaast.trans list -> string -> unit