Make.Variable
type t
val show : t -> string
val mk : width -> string -> t
val mk_fresh : width -> string -> t
val get_name : t -> string
val get_width : t -> width