AlphaGitHub
Source/Packages

Execution.ResourceGraph

packages/execution/contracts/src/Execution/ResourceGraph.alpha

338 lines92 declarations12.0 KiBSHA-256 ce5b1654ac00
Download exact fileView at revisionbcc11a4e7647d31628

family · lines 78–86

ResourceLease

Full file
78family ResourceLease : Type 0
79constructor ResourceLeaseOf
80field unrestricted resourceLeaseOfIdentity : Bytes
81field unrestricted resourceLeaseOfEndpoint : Nat
82field unrestricted resourceLeaseOfDomain : Nat
83field unrestricted resourceLeaseOfUnit : (family ResourceUnit)
84field unrestricted resourceLeaseOfAmount : Nat
85field unrestricted resourceLeaseOfBegin : Nat
86field unrestricted resourceLeaseOfUntil : Nat

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.