☰
TNode
🌌TNode
§ TNode(CTK type :hasHash TNode.CTK, CTV type, sn SNode TNode.CTK TNode.CTV) => TNode TNode.CTK TNode.CTV:Any
§ TNode(CTK
type
:hasHash TNode.CTK, CTV type
, sn SNode TNode.CTK TNode.CTV) =>
TNode TNode.CTK TNode.CTV:
Any
"a T-node is the last value assigned to an I-node"