From a20dcc098925dfa214aadd9ce9ee44ab3072655d Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Thu, 1 Oct 2026 00:30:02 -0300
Subject: FOL program encoding and decoding

---
 lib/concepts/Encoding.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/concepts/Encoding.ml')

diff --git a/lib/concepts/Encoding.ml b/lib/concepts/Encoding.ml
index 733ff67..d78eb28 100644
--- a/lib/concepts/Encoding.ml
+++ b/lib/concepts/Encoding.ml
@@ -235,6 +235,7 @@ module Record = struct
   module type S = sig
     type t
 
+    val tag : char
     val to_bencode : t -> Bencode.t
     val of_bencode : Bencode.t -> (t, Condition.condition) result
     val to_blob : t -> Blob.t
@@ -255,6 +256,7 @@ module Record = struct
   module Make (B : BODY) : S with type t = B.t = struct
     type t = B.t
 
+    let tag = B.tag
     let to_bencode object_ = Bencode.Tagged (B.tag, Bencode.Dict (B.fields object_))
 
     let of_bencode = function
-- 
cgit v1.2.3