sig type t = Wp.WpContext.context val id : Wp.WpContext.S.t -> string val hash : Wp.WpContext.S.t -> int val equal : Wp.WpContext.S.t -> Wp.WpContext.S.t -> bool val compare : Wp.WpContext.S.t -> Wp.WpContext.S.t -> int end