rzk-0.8.0: test/typecheck/cases/ill-modal-op-unaccessible.rzk

#lang rzk-1

#def bad-use-under-op (A : U) (x : A)
  : <| _op | A |>
  := mod _op x