Type

tool

A tool that can be executed

type tool = tool;