rzk-0.8.0: test/typecheck/cases/ill-unused-assumption.rzk

#lang rzk-1

#section sec-unused

#variables A : U

#variable unused-var : A

#define only-type
  : U
  := A

#end sec-unused