The type "IndexNode_" is defined in /pliant/language/type/set/index.pli module.


Field Type
right (Pointer IndexNode_)
left (Pointer IndexNode_)
father (Pointer IndexNode_)
nb Int

Method name
Arguments
Result
key
Name
n
 
Type
IndexNode_
Universal
Access
Ar
AwmC

(Pointer IndexNode_) -> IndexNode_
(/pliant/language/basic/safe.pli)
implicit