""" Some ATS2 keywords. """

ABSPROP = "absprop"
ABST0YPE = "abst@ype"
ABSTYPE = "abstype"
ABSVIEW = "absview"
ABSVIEWT0YPE = "absviewt@ype"
ABSVIEWTYPE = "absviewtype"
CASTFN = "castfn"
DATAPROP = "dataprop"
DATATYPE = "datatype"
DATAVIEW = "dataview"
DATAVIEWTYPE = "dataviewtype"
EXCEPTION = "exception"
FN = "fn"
FNX = "fnx"
FUN = "fun"
IMPLEMENT = "implement"
IMPLMNT = "implmnt"
OVERLOAD = "overload"
PRAXI = "praxi"
PRFN = "prfn"
PRFUN = "prfun"
PRIMPLEMENT = "primplement"
PRVAL = "prval"
STACST = "stacst"
VAL_NEG = "val-"
VAL_POS = "val+"
VAL = "val"
VAR = "var"

""" Some ATS2 keywords. """

ABSPROP = "absprop"
ABST0YPE = "abst@ype"
ABSTYPE = "abstype"
ABSVIEW = "absview"
ABSVIEWT0YPE = "absviewt@ype"
ABSVIEWTYPE = "absviewtype"
CASTFN = "castfn"
DATAPROP = "dataprop"
DATATYPE = "datatype"
DATAVIEW = "dataview"
DATAVIEWTYPE = "dataviewtype"
EXCEPTION = "exception"
FN = "fn"
FNX = "fnx"
FUN = "fun"
IMPLEMENT = "implement"
IMPLMNT = "implmnt"
OVERLOAD = "overload"
PRAXI = "praxi"
PRFN = "prfn"
PRFUN = "prfun"
PRIMPLEMENT = "primplement"
PRVAL = "prval"
STACST = "stacst"
VAL_NEG = "val-"
VAL_POS = "val+"
VAL = "val"
VAR = "var"

Some ATS2 keywords.