Skip to main content

Module task_briefing

lean_ctx::core

Module task_briefing 

Source

Structs§

TaskBriefing

Enums§

CompletenessSignal

Functions§

build_briefing
format_briefing
format_briefing_with
Render a briefing, optionally without its OUTPUT-HINT: line (#1763).
inject_into_instructions