Envelope
Envelope =
object
Properties
Section titled “Properties”change
Section titled “change”
readonlychange:Change
readonlydeps: readonlyEditId[]
document
Section titled “document”
readonlydocument:string
readonlyepoch:string
readonlyid:EditId
lamport
Section titled “lamport”
readonlylamport:number