Language for controlling LLMs with structured outputs, interleaving generation with logical control flow.