#include "enum.hfa"
#include "fstream.hfa"

#pragma GCC visibility push(default)

forall( ostype & | basic_ostream(ostype), E, V | CfaEnum(E, V) ) {
	ostype & ?|?( ostype& os, E e ) {
		return os | label( e );
	}
	OSTYPE_VOID_IMPL( E )
}

forall( ostype & | basic_ostream(ostype), E | CfaEnum(E, quasi_void) )
ostype & ?|?( ostype & os, E e ) {
    return os | label( e );
}

forall( E, V | CfaEnum(E, V) ) {						// relational operators
    int ?==?(E l, E r) { return posn(l) == posn(r); }
    int ?!=?(E l, E r) { return posn(l) != posn(r); }
    int ?<?(E l, E r) { return posn(l) < posn(r); }
    int ?<=?(E l, E r) { return posn(l) <= posn(r); }
    int ?>?(E l, E r) { return posn(l) > posn(r); }
    int ?>=?(E l, E r) { return posn(l) >= posn(r); }
}