CofVar.Make
module Symbol : Basis.Symbol.S
type t =
| Local of int
| Axiom of Symbol.t
val compare : t -> t -> int
val dump : Stdlib.Format.formatter -> t -> unit