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.