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