`[all packages] [package ] [class hierarchy] [index]`

# pure interface of class PremonDecLocalRec

The documentated page.

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

`[all packages] [package ] [class hierarchy] [index]`

###### PremonDecLocalRec.interface.html