Field Type
No registered field

Method name
Arguments

(Pointer Arrow) -> Arrow
(/pliant/language/basic/safe.pli)
implicit
Address -> Arrow
(/pliant/language/basic/unsafe.pli)
reduction

Arrow -> Address
(/pliant/language/basic/unsafe.pli)
implicit