#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 | type_name(e) | "." | labelE(e); } forall(ostype & | basic_ostream(ostype), E| CfaEnum(E, quasi_void)) ostype & ?|?(ostype& os, E e) { return os | type_name(e) | "." | labelE(e); }