// Copyright (c) 2011, David J. Pearce (djp@ecs.vuw.ac.nz)
// All rights reserved.
//
// This software may be modified and distributed under the terms
// of the BSD license. See the LICENSE file for details.
/**
* Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.
*
* @author David J. Pearce
*/
package wyc.lang;