/-! `native_decide` is intentionally not supported at this point. -/

theorem nat_dec : True := by native_decide
#print axioms nat_dec
