usage

Parameters

usage

Expected data-flow usage / known fact.