[feature] Badop_light: Added interface files.
|2||Copyright © 2011 MLstate|
|4||This file is part of OPA.|
|6||OPA is free software: you can redistribute it and/or modify it under the|
|7||terms of the GNU Affero General Public License, version 3, as published by|
|8||the Free Software Foundation.|
|10||OPA is distributed in the hope that it will be useful, but WITHOUT ANY|
|11||WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS|
|12||FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for|
|15||You should have received a copy of the GNU Affero General Public License|
|16||along with OPA. If not, see <http://www.gnu.org/licenses/>.|
[feature] Database: making dblight compilation optional, depending on…
|18||module F : functor (DB : DbSig.DB) -> Badop.S|
|19||module WithDbm : Badop.S|
[fix] database: Fixed after rebase, added error continuation.