sig
type t = Wp.WpContext.model
val id : Wp.WpContext.MODEL.t -> string
val descr : Wp.WpContext.MODEL.t -> string
val hash : Wp.WpContext.MODEL.t -> int
val equal : Wp.WpContext.MODEL.t -> Wp.WpContext.MODEL.t -> bool
val compare : Wp.WpContext.MODEL.t -> Wp.WpContext.MODEL.t -> int
val repr : Wp.WpContext.MODEL.t
end