const DefaultDb: Db
const
Db
DefaultDb is used at evaluation time or unless overridden at check time.