Module WP.P

type t = S.Var.t * S.Var.t
val equal : t -> t -> Ppx_deriving_runtime.bool
val hash : t -> int