package-info.java

// 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 the classes responsible for actually translating WhileyFiles into WyilFiles.
 *
 * @author David J. Pearce
 */
package wyc.builder;