pure interface of class PremonDecLocalRec

public class PremonDecLocalRec
  extends PremonDec
{
    public PremonDecLocalRec(PremonVar x,
                             PremonDec D);
    public void print(Printer p);
    public Mor semanticsTo(PremonCon target);
}