sig
  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
end