MACHINE           IntegrityCheck

SEES              Bool_TYPE

OPERATIONS        rep <-- IntegrityCheck = BEGIN rep :: BOOL END

END

Analysed Constructs

On-line Help

---

Document Last Updated: Fri Dec 22 11:18:32 2000

B-Toolkit Release 5.0.14

---