Searched defs:invariant_for_use (Results 1 – 2 of 2) sorted by relevance
267 invariant_for_use (df_ref use) in invariant_for_use() function