From 9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 13 Sep 2026 03:19:46 -0300 Subject: appropriate enumeration for tuple split on object and resident --- lib/protocols/Context.ml | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 lib/protocols/Context.ml (limited to 'lib/protocols/Context.ml') diff --git a/lib/protocols/Context.ml b/lib/protocols/Context.ml new file mode 100644 index 0000000..b7c8a37 --- /dev/null +++ b/lib/protocols/Context.ml @@ -0,0 +1,4 @@ +type t = + { snapshot : Concepts.Hash.hash + ; root : Handle.t + ; status : unit -> [`Live | `Cancelled | `Exhausted] } -- cgit v1.2.3