From 2566cfae03199f8e90098c84b712d48182d9b806 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Thu, 9 Jul 2026 00:33:37 +0000 Subject: Interface for the storage layer --- lib/concepts/Configuration.mli | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 lib/concepts/Configuration.mli (limited to 'lib/concepts/Configuration.mli') diff --git a/lib/concepts/Configuration.mli b/lib/concepts/Configuration.mli new file mode 100644 index 0000000..5e16ff9 --- /dev/null +++ b/lib/concepts/Configuration.mli @@ -0,0 +1,2 @@ +(** an abstract representation for a system configuration *) +type configuration -- cgit v1.2.3