Field Type
No registered field

Method name
Arguments
Result
pliant list node
Name
a
 
Type
Address
ListNode_
Access
Arv
AwmRW
pliant list znode
Name
a
 
Type
Address
ListNode_
Access
Arv
AwmRW

(Pointer Address) -> Address
(/pliant/language/basic/safe.pli)
implicit
Arrow -> Address
(/pliant/language/basic/unsafe.pli)
implicit
Int -> Address
(/pliant/language/basic/unsafe.pli)
 
uInt -> Address
(alias of cast_uInt_Address)
 

Address -> Arrow
(/pliant/language/basic/unsafe.pli)
reduction
Address -> Int
(/pliant/language/basic/unsafe.pli)
 
Address -> uInt
(alias of cast_Address_uInt)