Skip navigation links

Package wyil.checks

Provides classes responsible for validity checking of WYIL modules.

See: Description

Package wyil.checks Description

Provides classes responsible for validity checking of WYIL modules. For example, that every variable is defined before being used ( DefinitieAssignmenttCheck), or that there are no ambiguous coercions (CoercionCheck).

Author:
David J. Pearce
Skip navigation links

Copyright © 2011 David J. Pearce. All Rights Reserved.