tool

record tool {
  name: string,
  input-schema: string,
  options: option​<tool-options>,
}