Loading files
This 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;
}3c17db5ceThis file is pinned to the selected release. Download the original to open it in your design tool.