krb.public
Stable.V4
krb.internal
include Stable_protocol
module Mode : sig ... end
module Server_header : sig ... end
module Client_header : sig ... end