rzk-0.8.0: test/typecheck/cases/ill-render-latex-define.rzk

#lang rzk-1

#set-option "render" = "latex"

#define x : U := U