[hcoop/portal.git] / domtool.sig

signature DOMTOOL = sig
    val perms : string -> string -> string list
    val hasPerm : string -> string -> string -> bool
end
Commit	Line	Data
5a2cf523 CE	1	signature DOMTOOL = sig
	2	val perms : string -> string -> string list
	3	val hasPerm : string -> string -> string -> bool
	4	end