From 1a35fa647b3598111d7dcb281309651ab413b1bc Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 18 Sep 2026 00:18:43 -0300 Subject: make substantial relation use merkle.interface --- lib/kernel/SubstantialRelation.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/kernel/SubstantialRelation.mli') diff --git a/lib/kernel/SubstantialRelation.mli b/lib/kernel/SubstantialRelation.mli index be2ad28..5061e5d 100644 --- a/lib/kernel/SubstantialRelation.mli +++ b/lib/kernel/SubstantialRelation.mli @@ -42,10 +42,10 @@ module Make (S : Abstract.Storage.STORAGE) : sig val hash : t -> Concepts.Hash.hash val assert_tuple : - S.transaction -> t -> Concepts.Blob.t -> (t, Concepts.Condition.condition) result + S.transaction -> t -> Concepts.Tuple.t -> (t, Concepts.Condition.condition) result val contains_tuple : - S.transaction -> t -> Concepts.Blob.t -> (bool, Concepts.Condition.condition) result + S.transaction -> t -> Concepts.Tuple.t -> (bool, Concepts.Condition.condition) result (** decodes the schematics at [schematics relation] -- the body of [Protocols.Schematics.describe] for this kind of relation. *) -- cgit v1.2.3