Type Comment Return [...] IsValid BOOL TRUE
Type Comment Return [...] IsValid BOOL TRUE : Version
Type Comment Return [...] Supported BOOL TRUE - given
Name Type Comment [...] Overflow BOOL If true
Returns TRUE when a [...] Name Type Return
returns TRUE if Has [...] Out: Scope Name Type
on its type, a [...] Out: Scope Name Type [...] TRUE : Aborts the
the type MC [...] Name Type Initial [...] TRUE : Starts
Type Comment Inout [...] While TRUE , the [...] type SMC
, FALSE , TRUE , FALSE [...] , FALSE , FALSE , TRUE [...] , FALSE , TRUE , TRUE