aboutsummaryrefslogtreecommitdiffstats
path: root/lib/concepts
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-07-21 02:18:27 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-07-21 02:18:27 -0300
commitfd4e46653d94807a52d5506a172791f1ec1ec891 (patch)
tree5ff26f357ba4c78b986c04d5b4a2e34442a7e683 /lib/concepts
parent209383a11bbf749dcc830fac8e0938bca0b58191 (diff)
downloadRNT-fd4e46653d94807a52d5506a172791f1ec1ec891.tar.gz
RNT-fd4e46653d94807a52d5506a172791f1ec1ec891.zip
architecture diagram on CI
Diffstat (limited to 'lib/concepts')
-rw-r--r--lib/concepts/Condition.ml2
-rw-r--r--lib/concepts/Configuration.ml2
-rw-r--r--lib/concepts/Hash.ml2
-rw-r--r--lib/concepts/Representation.ml2
-rw-r--r--lib/concepts/Tuple.ml2
5 files changed, 10 insertions, 0 deletions
diff --git a/lib/concepts/Condition.ml b/lib/concepts/Condition.ml
index 16f02d0..a9082ad 100644
--- a/lib/concepts/Condition.ml
+++ b/lib/concepts/Condition.ml
@@ -1,3 +1,5 @@
+(* @uses Value -- renders property values in to_string_hum *)
+
type properties = (string, Value.value) BatMap.t
type ps = properties -> properties
diff --git a/lib/concepts/Configuration.ml b/lib/concepts/Configuration.ml
index 5ca95d5..b2c29eb 100644
--- a/lib/concepts/Configuration.ml
+++ b/lib/concepts/Configuration.ml
@@ -1,3 +1,5 @@
+(* @uses Condition -- builds syntax/type errors *)
+
open Sexplib.Sexp
type term = Sexplib.Sexp.t
diff --git a/lib/concepts/Hash.ml b/lib/concepts/Hash.ml
index 106e731..f467ee7 100644
--- a/lib/concepts/Hash.ml
+++ b/lib/concepts/Hash.ml
@@ -1,3 +1,5 @@
+(* @needs Value *)
+
type hash = Digestif.SHA256.t
let hash_of_value (v : Value.value) =
diff --git a/lib/concepts/Representation.ml b/lib/concepts/Representation.ml
index 856ae11..12c3624 100644
--- a/lib/concepts/Representation.ml
+++ b/lib/concepts/Representation.ml
@@ -1,3 +1,5 @@
+(* @needs Value *)
+
type blob = bytes
let blob_of_bytes (b : bytes) = b
diff --git a/lib/concepts/Tuple.ml b/lib/concepts/Tuple.ml
index 3050c13..8fac426 100644
--- a/lib/concepts/Tuple.ml
+++ b/lib/concepts/Tuple.ml
@@ -1,3 +1,5 @@
+(* @needs Value *)
+
module AttributeMap = BatMap.String
(** A tuple: a finite map from attribute name to attribute. *)