The type "IndexNode" is defined in
/pliant/language/type/set/old_index.pli
module.
Field
Type
data
Arrow
key
Str
right
(Pointer IndexNode)
left
(Pointer IndexNode)
father
(Pointer IndexNode)
nb
Int
Method name
Arguments
(Pointer IndexNode) -> IndexNode
(/pliant/language/basic/safe.pli)
implicit