Previous  Up  Next

Module Restricted.PathAccess

module PathAccess: module type of Types.PathAccess