kailua_check 1.1.0

-- definitions used for testing Kailua (should not be used for other purpose!)

--# assume global kailua_test: const {
--#     gen_tvar: const [`internal kailua_gen_tvar`] function() --> any;
--#     assert_tvar: const [`internal kailua_assert_tvar`] function(any);
--# }