void
CapCert_free
(
CapCert
cert)
Destroys a
CapCert
.
Documentation
Destroys a
CapCert
.
Parameters:
cert
- a pointer to a capability certificate.
Alphabetic index
HTML hierarchy of classes
or
Java
This page was generated with the help of
DOC++
.