diff options
| author | Emery Hemingway <ehmry@posteo.net> | 2024-08-19T14·10+0300 |
|---|---|---|
| committer | Emery Hemingway <ehmry@posteo.net> | 2024-08-19T14·46+0300 |
| commit | 0e2cd9afea883e587fa8ae82cf436c527fe52a4c (patch) | |
| tree | 7ea269df7c74e2bc433c7203a398096739969127 /protocol.prs | |
| parent | da0d91f727282e01570d7e34c442995eba52d704 (diff) | |
WiP! Add copy-closure
Diffstat (limited to 'protocol.prs')
| -rw-r--r-- | protocol.prs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/protocol.prs b/protocol.prs index c87d810bd532..19c3dc2ef7a5 100644 --- a/protocol.prs +++ b/protocol.prs @@ -46,6 +46,9 @@ StoreResolveDetail = { CheckStorePath = <check-path @path string @valid #:bool> . +# Assertion. The store that this asserted to will copy the closure of @storePath to @destination. When the copy completes or fails a Result value is asserted to @result. +CopyClosure = <copy-closure @dest #:any @storePath string @result #:Result>. + AttrSet = {symbol: any ...:...} . # Value. |