proposal_database/config.rkt.example

#lang typed/racket/base

(provide dbloc)

(: dbloc String)
(define dbloc "/path/to/database")