/*
 * Permission.java
 */

package edu.stanford.peer.rbtm.credential;

public interface RPermission extends RoleName 
{
}