package jif.types.label;

import java.util.Collection;

import jif.types.principal.Principal;

/** The policy label of the form <code>owner: r1,&period;&period;&period;,rn</code>
 */
public interface PolicyLabel extends Label {
    Principal owner();
    Collection readers();
}

