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