diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-01 00:30:02 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-01 00:30:02 -0300 |
| commit | a20dcc098925dfa214aadd9ce9ee44ab3072655d (patch) | |
| tree | b1dad72938331b3c4744c5341da137b749133760 /lib/concepts | |
| parent | c824f42518a1963ba2d895a9944bf4d885114eab (diff) | |
| download | RNT-a20dcc098925dfa214aadd9ce9ee44ab3072655d.tar.gz RNT-a20dcc098925dfa214aadd9ce9ee44ab3072655d.zip | |
FOL program encoding and decoding
Diffstat (limited to 'lib/concepts')
| -rw-r--r-- | lib/concepts/Encoding.ml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |