The Valid_State_Base_Structure procedure returns true iff the Base_Structure is in a valid state - that is, iff the Base_Structure passes all of the valid state tests.
|Logical = Valid_State(Structure)|
|Structure||The Base_Structure to be checked.|
|Valid_State||True iff the Base_Structure is in a valid state.|
The Valid_State_Base_Structure code listing contains additional documentation.