You can search for identifiers within the package.
in-package search v0.2.0
krb.internal
Krb_flags.Auth_context
type t =
| KRB5_AUTH_CONTEXT_DO_TIME
Prevent replays with timestamps and replay cache.
| KRB5_AUTH_CONTEXT_RET_TIME
Save timestamps for application.
| KRB5_AUTH_CONTEXT_DO_SEQUENCE
Prevent replays with sequence numbers.
| KRB5_AUTH_CONTEXT_RET_SEQUENCE
Save sequence numbers for application.