unapply
Term
UncachedAttribute
UncachedAttribution
UncachedAttribution
attribution
UncachedParamAttribute
UncachedAttribution
undefine
ParamState State
Update
Machine
use
DynamicAttribution
using
DynamicAttribution
util
kiama