Hardcoded constants that affect the behavior of the Krb library.

Sequence all kerberos functions. We use a global context (in C land) and there are some functions that are not thread safe. We even have to sequence the finalizers because they too call functions that need a context.

Get_init_creds_opts.t stores options for getting credentials from the KDC. It is used to change ticket lifetimes and flags for requested tickets.

See ../src/keytab.mli for more documentation

See ../src/principal.mli for more documentation

sexp_of_t t is "<omitted-in-tests>" during inline tests