Binding[S: (Any #read & Equatable[S]), D: Any #share, V: Any #share]

[Source]

class ref Binding[S: (Any #read & Equatable[S]), D: Any #share, V: Any #share]

Constructors

create

[Source]

new ref create(
  success': Success[S, D, V] box,
  depth': USize val,
  values': ReadSeq[V] val)
: Binding[S, D, V] ref^

Parameters

• success': Success[S, D, V] box
• depth': USize val
• values': ReadSeq[V] val

Returns

• Binding[S, D, V] ref^

---

Public fields

let success: Success[S, D, V] box

[Source]

---

let depth: USize val

[Source]

---

let values: ReadSeq[V] val

[Source]

---