IMPLEMENTATION MODULE YaflGSetSpec; 

                            
  CLASS SetSpecCodeGenerator(CtxType IN GcContext);
    INHERITS GC(SetSpecification, CtxType);
    
  END SetSpecCodeGenerator;

END YaflGSetSpec;
