read_num

Synopsis

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

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

Created with MrDocs