rzk-0.11.4: test/typecheck/cases/ill-kind-sigma-body-tope.rzk

#lang rzk-1

-- The second component is checked too.
#define A : U := Σ (x : Unit) , TOPE