From aba537ff9985d91160057c1593e433ff25bce3e2 Mon Sep 17 00:00:00 2001 From: Hans Hoglund Date: Tue, 24 May 2022 10:14:13 +0000 Subject: [PATCH] Proto: SCORU: Clarify meaning of PVM.initial_state --- src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml b/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml index d4a855e4c7d4..d817441cceae 100644 --- a/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml +++ b/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml @@ -122,8 +122,11 @@ module type S = sig (** [state_hash state] returns a compressed representation of [state]. *) val state_hash : state -> hash Lwt.t - (** [initial_state context boot_sector] is the state of the PVM - before booting. *) + (** [initial_state context boot_sector] is the initial state of the PVM, + which is a pure function of [boot_sector]. + + The [context] argument is required for technical reasons and does + not impact the result. *) val initial_state : context -> string -> state Lwt.t (** [is_input_state state] returns [Some (level, counter)] if -- GitLab