"""Definitions for the base Cranelift language."""