Verification: ((session: Session, location: Location) => boolean)

A function that returns true if access control requirements are met.