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


Field Type
root (Pointer IndexNode_)

Method name
Arguments
Result
balance
Name
index
  
Type
Index_
Access
Arw
check
Name
index
cmp
  
Type
Index_
Function
Access
Ar
Ar
check
Name
index
node
cmp
  
Type
Index_
IndexNode_
Function
Access
Ar
Ar
Ar
first
Name
index
sample
cmp
offset
  
Type
Index_
Address
Function
Int
Address
Access
Ar
Arv
Ar
Arv
AwvR
first
Name
index
offset
  
Type
Index_
Int
Address
Access
Ar
Arv
AwvR
from
Name
index
sample
cmp
offset
  
Type
Index_
Address
Function
Int
Address
Access
Ar
Arv
Ar
Arv
AwvR
insert
Name
index
key
ahead
value
cmp
offset
keytype
valuetype
nodetype
nodeisobj
 
Type
Index_
Address
CBool
Address
Function
Int
Type
Type
Type
CBool
Address
Access
Arw
Arv
Arv
Arv
Ar
Arv
Ar
Ar
Ar
Arv
AwvR
is_deleted
Name
index
cursor
offset
  
Type
Index_
Address
Int
CBool
Access
Ar
Arv
Arv
AwvR
key
Name
index
cursor
offset
  
Type
Index_
Address
Int
Address
Access
Ar
Arv
Arv
AwvR
last
Name
index
offset
  
Type
Index_
Int
Address
Access
Ar
Arv
AwvR
next
Name
index
sample
cursor
cmp
offset
  
Type
Index_
Address
Address
Function
Int
Address
Access
Ar
Arv
Arv
Ar
Arv
AwvR
next
Name
index
cursor
offset
  
Type
Index_
Address
Int
Address
Access
Ar
Arv
Arv
AwvR
previous
Name
index
cursor
offset
  
Type
Index_
Address
Int
Address
Access
Ar
Arv
Arv
AwvR
remove
Name
index
cursor
offset
nodetype
nodeisobj
  
Type
Index_
Address
Int
Type
CBool
Address
Access
Arw
Arv
Arv
Ar
Arv
AwvR
reset
Name
index
nodetype
nodeisobj
  
Type
Index_
Type
CBool
Access
Aw
Ar
Arv
size
Name
index
  
Type
Index_
Int
Access
Ar
AwvR
to
Name
index
sample
cmp
offset
  
Type
Index_
Address
Function
Int
Address
Access
Ar
Arv
Ar
Arv
AwvR

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