Field Type
No registered field

Method name
Arguments
Result
allocate
(/pliant/language/basic/unsafe.pli)
Name
 
 
 
  
Type
MemoryPool
Int
Address
Address
Access
Arw
Arv
Arv
AwvR
checkup
(/pliant/language/basic/unsafe.pli)
Name
 
  
Type
MemoryPool
Access
Arw
enumerate
(/pliant/language/basic/unsafe.pli)
Name
 
 
  
Type
MemoryPool
Address
Access
Arw
Arv
free
(/pliant/language/basic/unsafe.pli)
Name
 
 
  
Type
MemoryPool
Address
Access
Arw
Arv
resize
(/pliant/language/basic/unsafe.pli)
Name
 
 
 
 
 
Type
MemoryPool
Address
Int
Address
Address
Access
Arw
Arv
Arv
Arv
AwvR
shrink
(/pliant/language/basic/unsafe.pli)
Name
 
 
  
Type
MemoryPool
CBool
Access
Arw
Arv
zallocate
(/pliant/language/basic/unsafe.pli)
Name
 
 
 
  
Type
MemoryPool
Int
Address
Address
Access
Arw
Arv
Arv
AwvR
zresize
(/pliant/language/basic/unsafe.pli)
Name
 
 
 
 
 
Type
MemoryPool
Address
Int
Address
Address
Access
Arw
Arv
Arv
Arv
AwvR

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