CodeUnit.Global
include Basis.Symbol.S
type t
val compare : t -> t -> int
val equal : t -> t -> bool
val pp : t Basis.Pp.printer
val show : t -> string
val serialize : t -> Basis.Symbol.J.value
val deserialize : Basis.Symbol.J.value -> t
val unfolder : t -> t option
The global variable representing the 'unfolding dimension' of a global variable.