Tool typedef

Tool = String

A single tool for a recipe. A tool is not consumed but only used.

Implementation

typedef Tool = String;