diff options
Diffstat (limited to 'lib/kernel/SubstantialRelation.mli')
| -rw-r--r-- | lib/kernel/SubstantialRelation.mli | 4 |
1 files changed, 2 insertions, 2 deletions
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. *) |