type payload =
| PathOp of string * path_op |
| Getdomainpath of int |
| Transaction_start |
| Watch of string * string |
| Unwatch of string * string |
| Transaction_end of bool |
| Debug of string list |
| Introduce of int * Stdlib.Nativeint.t * int |
| Resume of int |
| Release of int |
| Set_target of int * int |
| Restrict of int |
| Isintroduced of int |
| Error of string |
| Watchevent of string |
val prettyprint_payload : payload -> string
val prettyprint : t -> string