sig
module
Interface
:
DbInterface
val
db :
Interface
.database
end