A specialized programming language designed to interact with Language Models (LLMs) using types, templates, constraints, …