LimitsA_Lint : BOOL Linearly [...] Out: Scope Name Type [...] LimitsA_Lint BOOL Inout l Dyn

_SetGV_Pair : BOOL InOut: Scope Name Type Input pcg [...] _SetGV_Pair BOOL

Fun_EvalsToConstPose : BOOL Returns whether [...] Out: Scope Name Type Inout [...] Fun_EvalsToConstPose BOOL

CachedEndPositionACS : BOOL Returns the end [...] Type Inout a TRAFO [...] CachedEndPositionACS BOOL Output path

CurrentTask : BOOL Checks whether [...] Out: Scope Name Type Input [...] CurrentTask BOOL

_WriteString : BOOL Writes a [...] Out: Scope Name Type [...] _WriteString BOOL Input stream

HandleRequests : BOOL [...] Type Initial Return HandleRequests BOOL

HandleRequests : BOOL [...] Type Initial Return HandleRequests BOOL

Config : BOOL Joins the [...] Name Type Comment Return JoinConfig BOOL

Config : BOOL Splits the [...] Name Type Comment [...] Config BOOL Inout cd