warn-rstt-warn-overrides-standalone.rzk

#lang rzk-1

#set-option "rstt-safe" = "warn"
#set-option "warn-meta-binder" = "no"
#set-option "warn-meta-prefix" = "off"
#def nested (A : U) (a : A) : A
  := (\ (B : U) (b : B) → b) A a