diff options
Diffstat (limited to 'lib/management/database.ml')
| -rw-r--r-- | lib/management/database.ml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/lib/management/database.ml b/lib/management/database.ml new file mode 100644 index 0000000..4fd43f1 --- /dev/null +++ b/lib/management/database.ml @@ -0,0 +1,23 @@ +module RelationMap = Map.Make (String) + +type t = { + hash : Conventions.Hash.t; + name : Conventions.Name.t; + tree : unit; + relations : Relation.t RelationMap.t; + timestamp : float; +} + +let create_database (storage: Physical.Storage.t) ~name = + let relations = + RelationMap.of_list [("less_than", Prelude.Standard.less_than_natural)] + in + let state = + { + hash = ""; + name; + tree = (); + relations = relations; + timestamp = Unix.time (); + } + in Physical.Storage.write storage |
