rzk-0.9.0: test/typecheck/cases/ill-modal-plain-under-op.rzk

#lang rzk-1

-- Plain var not accessible under op
#def ill-plain-under-op
  (A : U) (x : A)
  : _op A
  := mod _op x