class type gss_api =
The methods have generally a type of the form
m : 't . arg1 -> ... -> argN -> out:( ret1 -> ... -> retM -> 't ) -> 't
args are input arguments (with the exception of
which is in/out), and where outputs are passed back by calling the
functions with the outputs. The return value of
out is the return
value of the method call.
For example, if only
output_token of the
is needed, one could call this method as in
let output_token = gss_api # accept_sec_context ... ~out:(fun ~src_name ~mech_type ~output_token ~ret_flags ~time_rec ~delegated_cred_handle ~minor_status ~major_status -> output_token )
Output values may not be defined when
an error. (But see the RFC for details; especially
accept_sec_context may emit tokens even when
indicates an error.)
The names of the parameters are taken from RFC 2744, only
_handle have been removed. When the prefixes
output_ are meaningless, they are also removed.
All prefixes like "GSS" are removed anyway.