RelationDomain.VarMetadataTbl
module VM : VarMetadata
module VH : sig ... end
val vh : VM.t VH.t
val make_var : ?name:string -> VM.t -> GobApron.Var.t
val find_metadata : GobApron.Var.t -> VM.t option