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