Previous  Up  

Module Restricted.PathPermission

module PathPermission: module type of Types.PathPermission