I think accessing the db at compile time is a wrong choice.
- It makes it very difficult to package software or library (in opam for example).
- And it does not give the guarantee we want on the compliance of the program w.r.t. the tables.
This check should be done dynamically when launching the program.