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

#lang rzk-1

-- Op var not accessible under flat
#def ill-op-under-flat
  (A :_op U) (x :_op A)
  : _b A
  := mod _b x