// 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;