_type Ward	==	Type;
_type WardName	==	Type;
_type Party	==	Type;
_type Const	==	Type;
_type Cand	==	Type;

_extsel  |ward_details	==	(Ward,WardName,Num,Const);
_extsel  |ward_results	==	(Ward,Num,Cand,Party,Num);
_extsel  |election	==	Num;

_load "/usr/local/lib/pfl/example/election/extents.env";
_load "/usr/local/lib/pfl/example/election/eqns.env";

_commit;
