Concurrency.IssueAuxData
type t = IBase.Location.t list
val encode : t -> string
val decode : string -> t