/**
	\file "env_source_typedef-03.hac"
	copy-modified from "env_source_typedef-01.hac"
	$Id: env_source_typedef-03.hac,v 1.2 2007/07/18 23:35:45 fang Exp $
 */

import "env_source.hac";

// passing relaxed parameter M to strict is rejected!
template <pint N, d[N]><pint M>
typedef source_e<M><N, d> source_e1of;

/**
template <pint N, d[N]><pint M>
typedef cmos_source_e<M><N, d> cmos_source_e1of;
**/

// should pass, valid typedefs

