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

#lang rzk-1

-- Op var not accessible at plain level
#def ill-op-at-plain
  (A :_op U) (x :_op A)
  : A
  := x