import('Praspel.Model.Specification'); } namespace Hoa\Praspel { /** * Class \Hoa\Praspel\Trace. * * A trace is a derivated specification. * * @author Ivan Enderlin * @copyright Copyright © 2007-2013 Ivan Enderlin. * @license New BSD License */ class Trace extends Model\Specification { } }