CodeUnit.Dim
type t =
| Dim0
| Dim1
| DimVar of CofVar.Make(Global).t
| DimProbe of DimProbe.t
val dim0 : t
val dim1 : t
val var : int -> t
val axiom : Global.t -> t
val equal : t -> t -> bool
val compare : t -> t -> int
val dump : t Basis.Pp.printer