Source file tool_choice.ml

1
2
3
4
5
type t =
  | Auto
  | Required
  | None_
  | Specific of { tool_name : string }