Module `Proto.Rauth`

An Rauth request completes setup of the auth file. Completion of the auth request does not imply that the user is authenticated; The user must complete authentication by tunneling an agreed-upon authentication file through the authentication file. The specific authentication protocol is outside the scope of 9P.

type t

val size : t -> int: The size of this message in bytes. It is identical to the length of the underlying I/O vector but is also encoded in the first 4 bytes of the message.

val code : int: The op code for this message.

val tag : t -> Tag.t: An identifier for this transaction. All in-flight requests on a given connection must have unique tags.

val of_iovec : Iovec.t -> t: of_iovec verifies a message from an I/O vector. No copying is done, and of_iovec only performs bounds checks. Modifying the underlying I/O vector will change the results when accessing message fields.

val aqid : t -> Styx__.Types.Qid.t: The unique identifier for the established authentication file.

val alloc : Iovec.ring -> t
val commit : t -> tag:Tag.t -> aqid:Styx__.Types.Qid.t -> int