rzk-0.8.0: test/typecheck/cases/ill-modal-not-modal.rzk

#lang rzk-1


#def not-modal-let-mod (A : U) (x : A)
  : A
  :=
  let mod _# y := x in
  y