module Mode:sig..end
Permission symbolic mode.
typewho =[ `All | `Group | `Other | `User ]
typewholist =[ `All | `Group | `List of who list | `Other | `User ]
typepermcopy =[ `Group | `Other | `User ]
typeperm =[ `Exec | `ExecX | `Read | `Sticky | `StickyO | `Write ]
typepermlist =[ `Exec
| `ExecX
| `List of perm list
| `Read
| `Sticky
| `StickyO
| `Write ]
typeactionarg =[ `Exec
| `ExecX
| `Group
| `List of perm list
| `Other
| `Read
| `Sticky
| `StickyO
| `User
| `Write ]
typeaction =[ `Add of actionarg
| `Remove of actionarg
| `Set of actionarg ]
typeactionlist =[ `Add of actionarg
| `List of action list
| `Remove of actionarg
| `Set of actionarg ]
typeclause =[ `All of actionlist
| `Group of actionlist
| `None of actionlist
| `Other of actionlist
| `User of actionlist ]
typet =clause list
Typical symbolic mode:
`Group (`Add `Read)`User (`Set (`List [`Read; `Write]));
`Group (`Add (`List [`Read; `Write]));
`Other (`Remove (`List [`Read; `Write; `Exec]))