module Promelaoutput: sig
.. end
val print_raw_automata : Format.formatter -> Promelaast.typed_automaton -> unit
val print_parsed_expression : Format.formatter -> Promelaast.expression -> unit
val print_parsed_condition : Format.formatter -> Promelaast.condition -> unit
val print_seq_elt : Format.formatter -> Promelaast.seq_elt -> unit
val print_sequence : Format.formatter -> Promelaast.sequence -> unit
val print_parsed : Format.formatter -> Promelaast.parsed_condition -> unit
val print_condition : Format.formatter -> Promelaast.typed_condition -> unit
val print_action : Format.formatter -> Promelaast.action -> unit
val print_transition : Format.formatter ->
(Promelaast.typed_condition * Promelaast.action) Promelaast.trans -> unit
val print_transitionl : Format.formatter ->
(Promelaast.typed_condition * Promelaast.action) Promelaast.trans list ->
unit
val print_state : Format.formatter -> Promelaast.state -> unit
val print_statel : Format.formatter -> Promelaast.state list -> unit
val output_dot_automata : Promelaast.typed_automaton -> string -> unit