// SPDX-License-Identifier: Apache-2.0
// Copyright 2025 The Hyperlight Authors.
// This, unlike the rest of hyperlight, isn't really a library (since
// it's only used by our own build-time tools), so the reasons not to
// panic don't really apply.
// "Needless" lifetimes are useful for clarity
// Typechecking and elaboration
// Generally useful for code emit
// Specific code emit