Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
7aa19ccf2This file is pinned to the selected release. Download the original to open it in your design tool.
comp Foo[W]<'G:1>() -> () with {
some L where L > W;
} {
// This assignment doesn't satisfy the constriant on the existential
L := 1;
}