WRREC. InOut: Scope [...] Comment Input REQ BOOL

EventCallback InOut: Scope Name Type Initial Comment

specific value InOut [...] Initial Comment Return

sequence of values InOut [...] Initial Comment Return

InOut: Scope Name Type Initial Comment

threshold InOut: Scope [...] Comment Return Assert

given threshold InOut [...] Initial Comment Return

InOut: Scope Name Type Initial Comment

threshold InOut: Scope [...] Comment Return Assert

InOut: Scope Name Type Initial Comment