rzk-0.11.4: test/typecheck/cases/ill-kind-sigma-tope-family.rzk
#lang rzk-1 -- A tope family cannot be a Σ component. #define A : U := Σ (phi : 2 -> TOPE) , Unit
#lang rzk-1 -- A tope family cannot be a Σ component. #define A : U := Σ (phi : 2 -> TOPE) , Unit