imports
{
import CommonTypes
import Patterns
import UU.Scanner.Position(Pos)
import Expression
}

TYPE SemDefs   = [SemDef]
DATA SemDef    | Def    pattern: Pattern
                        rhs    : {Expression}                     
                        owrt   : {Bool}