Assertion list
type (aspect of variable ) → UsedFor

Results from Ascent++: 1
typeUsedFor conductivity measurements 0.38