sig
  module type PROFILE =
    sig
      val acceptable_transports_http : Nethttp.transport_layer_id list
      val acceptable_transports_https : Nethttp.transport_layer_id list
      val enable_delegation : bool
      val deleg_credential : exn option
    end
  module Default : PROFILE
  module SPNEGO :
    functor (P : PROFILE) (G : Netsys_gssapi.GSSAPI->
      Nethttp.HTTP_CLIENT_MECHANISM
end