krb.internal
Krb_internal_public.Krb_flags
krb.public
module Ap_req : sig ... end
module Auth_context : sig ... end
module Get_credentials : sig ... end