Base

Utility functions and types to support @strictly

external