read_ch

Synopsis

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

void
read_ch(
    std::istream& in,
    char c);

Created with MrDocs