Domain.CofVar
type t =
| Local of int
| Axiom of Global.t
val compare : t -> t -> int
val dump : Stdlib.Format.formatter -> t -> unit