Up – goblint » Goblint_lib » RelationDomain » VarMetadataTbl » VM

Parameter `VarMetadataTbl.VM`

type t

val var_name : t -> string