module Netgssapi_auth: sig .. end
sig
end
module type CONFIG = sig .. end
module Manage:
functor (
G
:
Netsys_gssapi.GSSAPI
) ->
module Auth:
C
CONFIG