diff options
Diffstat (limited to 'lib/concepts')
| -rw-r--r-- | lib/concepts/Condition.ml | 2 | ||||
| -rw-r--r-- | lib/concepts/Configuration.ml | 2 | ||||
| -rw-r--r-- | lib/concepts/Hash.ml | 2 | ||||
| -rw-r--r-- | lib/concepts/Representation.ml | 2 | ||||
| -rw-r--r-- | lib/concepts/Tuple.ml | 2 |
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. *) |