+module TransList : sig
+ include Hlist.S with type elt = Transition.t
+ val print : Format.formatter -> t -> unit
+end =
+ struct
+ include Hlist.Make(Transition)
+ let print ppf l =
+ iter (fun t ->
+ let q, lab, f = Transition.node t in
+ fprintf ppf "%a, %a -> %a<br/>" State.print q QNameSet.print lab SFormula.print f) l
+ end