keyDatalogSize constant

String const keyDatalogSize

Implementation

static const String keyDatalogSize = 'datalog_size';