Module Mlsem_common.Variable

type t
val pp : Stdlib.Format.formatter -> t -> unit
val show : t -> string
val compare : t -> t -> int
val equal : t -> t -> bool
val create : string option -> t
val refresh : t -> t
val attach_location : t -> Position.t -> unit
val get_location : t -> Position.t
val get_name : t -> string option
val get_unique_name : t -> string