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