The type "ListNode_" is defined in /pliant/language/type/set/list.pli module.


Field Type
next (Pointer ListNode_)
previous (Pointer ListNode_)

Method name
Arguments
Result
next
(/pliant/language/type/set/list.pli)
Name
 
 
Type
ListNode_
(Pointer ListNode_)
Access
Arv
AwmC
previous
(/pliant/language/type/set/list.pli)
Name
 
 
Type
ListNode_
(Pointer ListNode_)
Access
Ar
AwmC
value
Name
n
 
Type
ListNode_
Address
Access
Ar
AwvR
zvalue
Name
n
 
Type
ListNode_
Address
Access
Ar
AwvR

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