sig val pretty : Format.formatter -> Wpo.t -> unit val exists : Wpo.t -> bool val save : Wpo.t -> Json.t -> unit val load : Wpo.t -> Json.t val remove : Wpo.t -> unit end