module Mode: sig .. end
sig
end
Datatype for modes.
include Datatype.S_with_collections
val all : t
t
Default mode: all permissions are granted.