Up
Next
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.