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

[Source]

trait ref RuleNodeWithChildren[S: (Any #read & Equatable[S]), D: Any #share, V: Any #share] is
  RuleNode[S, D, V] ref

Implements

• RuleNode[S, D, V] ref

---

Public Functions

children

[Source]

fun box children()
: this->Seq[RuleNode[S, D, V] ref] ref

Returns

• this->Seq[RuleNode[S, D, V] ref] ref

---

action

[Source]

fun box action()
: (Action[S, D, V] val | None val)

Returns

• (Action[S, D, V] val | None val)

---

call

[Source]

fun box call(
  depth: USize val,
  loc: Loc[S] val)
: (_BindFrame[S, D, V] ref | _CondFrame[S, D, V] ref | _ConjFrame[S, D, V] ref | 
    _DisjFrame[S, D, V] ref | _ErrorFrame[S, D, V] ref | _LiteralFrame[S, D, V] ref | 
    _LookFrame[S, D, V] ref | _NamedRuleFrame[S, D, V] ref | _NegFrame[S, D, V] ref | 
    _SingleFrame[S, D, V] ref | _StarFrame[S, D, V] ref)

Parameters

• depth: USize val
• loc: Loc[S] val

Returns

• (_BindFrame[S, D, V] ref | _CondFrame[S, D, V] ref | _ConjFrame[S, D, V] ref | _DisjFrame[S, D, V] ref | _ErrorFrame[S, D, V] ref | _LiteralFrame[S, D, V] ref | _LookFrame[S, D, V] ref | _NamedRuleFrame[S, D, V] ref | _NegFrame[S, D, V] ref | _SingleFrame[S, D, V] ref | _StarFrame[S, D, V] ref)

---