Module type RelationDomain.VarMetadata

type t
val var_name : t -> string