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

#lang rzk-1

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

#data bool := false | true
#def choose (b : bool) : bool := match b (false ⇒ true | true ⇒ false)