Module Domain_mode.Mode

module Mode: sig .. end
Datatype for modes.

include Datatype.S_with_collections
val all : t
Default mode: all permissions are granted.