#include "core/term.h" // IWYU pragma: export
