module TransList : sig
include Hlist.S with type elt = Transition.t
- val print : Format.formatter -> ?sep:string -> t -> unit
+ val print : ?sep:string -> Format.formatter -> t -> unit
end
(** Hashconsed lists of transitions, with a printing facility *)
val finalize : t -> auto
(** Finalize the automaton and return it. Clean-up unused states
(states that do not occur in any transitions and remove
- instantes of negative [move] atoms by creating fresh states
+ instances of negative [move] atoms by creating fresh states
that accept the complement of the negated state. *)
end
(** Builder facility for the automaton *)