sig type t = Wpo.po val hash : Wpo.WPO.t -> int val equal : Wpo.WPO.t -> Wpo.WPO.t -> bool val compare : Wpo.WPO.t -> Wpo.WPO.t -> int end