4 Commits

Author	SHA1	Message	Date
Bo Anderson	98fb5f9dea	Don't assume ENV is a superenv in RBI	2024-08-23 05:59:00 +01:00
Bo Anderson	d24686ac50	extend/ENV: remove fake EnvMethods from RBI	2024-08-23 05:28:52 +01:00
Markus Reiter	caf87c0336	Warn about undocumented non-private APIs.	2024-05-01 11:35:20 +02:00
Markus Reiter	0424940496	Add types for ENV extensions.	2020-11-23 02:06:37 +01:00