read_id

Synopsis

Declared in <src/midend/astUtil/annotation/AnnotIO.h>

std::string
read_id(std::istream& in);

Created with MrDocs