Pierre-Marie de Rodat 2cb44f1bc8 Lkt lowering: robustify traits checking for nodes ...

Reject invalid uses of traits, make sure that the Node trait is
instantiated with the root node, etc.

For #622

2022-07-26 12:46:52 +00:00

..

lkt

Lkt lowering: robustify traits checking for nodes

2022-07-26 12:46:52 +00:00

python

UB16-053: Rename val to value in env assoc types.

2021-11-23 12:57:35 +01:00