Skip to content
Browse files

[feature] database: Added KeySet.

  • Loading branch information...
1 parent f6de997 commit 7c8de2aa7740028eaa43e8cfa8b11d5886f531d1 @nrs135 nrs135 committed with Louis Gesbert Aug 8, 2011
Showing with 36 additions and 0 deletions.
  1. +18 −0 database/light/keySet.ml
  2. +18 −0 database/light/keySet.mli
View
18 database/light/keySet.ml
@@ -0,0 +1,18 @@
+(*
+ Copyright © 2011 MLstate
+
+ This file is part of OPA.
+
+ OPA is free software: you can redistribute it and/or modify it under the
+ terms of the GNU Affero General Public License, version 3, as published by
+ the Free Software Foundation.
+
+ OPA is distributed in the hope that it will be useful, but WITHOUT ANY
+ WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+ FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
+ more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with OPA. If not, see <http://www.gnu.org/licenses/>.
+*)
+include BaseSet.Make(Keys)
View
18 database/light/keySet.mli
@@ -0,0 +1,18 @@
+(*
+ Copyright © 2011 MLstate
+
+ This file is part of OPA.
+
+ OPA is free software: you can redistribute it and/or modify it under the
+ terms of the GNU Affero General Public License, version 3, as published by
+ the Free Software Foundation.
+
+ OPA is distributed in the hope that it will be useful, but WITHOUT ANY
+ WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+ FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
+ more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with OPA. If not, see <http://www.gnu.org/licenses/>.
+*)
+include BaseSetSig.S with type elt = Keys.t

0 comments on commit 7c8de2a

Please sign in to comment.
Something went wrong with that request. Please try again.