[bpt/portal.git] / sec.sig

signature SEC = sig
    structure Req : REQUEST_OUT

    val findSubusers : string -> string list

    datatype socket_perms =
	     ANY
	   | CLIENT_ONLY
	   | SERVER_ONLY
	   | NADA

    val inGroup : string * string -> bool
    val socketPerms : string -> socket_perms
    val isTpe : string -> bool
end
Commit	Line	Data
dfb0d0d7 AC	1	signature SEC = sig
	2	structure Req : REQUEST_OUT
	3
	4	val findSubusers : string -> string list
	5
	6	datatype socket_perms =
	7	ANY
	8	\| CLIENT_ONLY
	9	\| SERVER_ONLY
	10	\| NADA
	11
	12	val inGroup : string * string -> bool
	13	val socketPerms : string -> socket_perms
	14	val isTpe : string -> bool
	15	end