From bb3156b8ab78b035ce886bbe3021ec7cbe269d03 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 11 Jul 2026 00:51:11 -0300 Subject: FOL: First Order Logic Execution Engine Co-authored-by: Estevan Castilho --- lib/concepts/Representation.mli | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'lib/concepts/Representation.mli') diff --git a/lib/concepts/Representation.mli b/lib/concepts/Representation.mli index 9d0a8f5..21c43a4 100644 --- a/lib/concepts/Representation.mli +++ b/lib/concepts/Representation.mli @@ -2,6 +2,15 @@ type blob (** encode a blob into a value *) -val blob_of_value: Value.value -> blob +val blob_of_value : Value.value -> blob + (** decode a value from a blob *) -val value_of_blob: blob -> Value.value +val value_of_blob : blob -> Value.value + +(* TODO: see the comments on Backend.Storage.LMDB *) + +(** create a blob from the data represented by bytes *) +val blob_of_bytes : bytes -> blob + +(** return a bytes containing the data underlying a blob *) +val bytes_of_blob : blob -> bytes -- cgit v1.2.3