Type

tool-result

Result value lives here to avoid cycles.

type tool-result = tool-result;