rzk-0.11.4: test/typecheck/cases/warn-rstt-modal.rzk

#lang rzk-1

#set-option "rstt-safe" = "warn"

#def sharp-pure (A : U) (a : A) : _# A := mod _# a
#def crisp (A :_b U) (a :_b A) : A := a