#include <record.h>
Definition at line 52 of file record.h.
Definition at line 53 of file record.h.
References CVC4::RecordSelect::getField().