@type binding() :: {:binding, pattern(), t()}

@type fn_params() :: [pattern()] | {:variadic, [pattern()], pattern()}

@type literal() ::
  nil
  | boolean()
  | number()
  | {:string, String.t()}
  | {:keyword, name()}
  | {:symbol_ref, String.t()}

@type name() :: atom() | String.t()

@type pattern() ::
  {:var, name()}
  | {:destructure, {:keys, [name()], [{name(), term()}]}}
  | {:destructure, {:map, [name()], [{pattern(), name()}], [{name(), term()}]}}
  | {:destructure, {:as, name(), pattern()}}
  | {:destructure, {:seq, [pattern()]}}
  | {:destructure, {:seq_rest, [pattern()], pattern()}}

@type t() ::
  literal()
  | {:vector, [t()]}
  | {:map, [{t(), t()}]}
  | {:set, [t()]}
  | {:var, name()}
  | {:data, name()}
  | {:runtime_callable, :tool, name()}
  | {:turn_history, 1 | 2 | 3}
  | {:literal, term()}
  | {:call, t(), [t()]}
  | {:let, [binding()], t()}
  | {:if, t(), t(), t()}
  | {:fn, fn_params(), t()}
  | {:fn, name(), fn_params(), t()}
  | {:do, [t()]}
  | {:and, [t()]}
  | {:or, [t()]}
  | {:juxt, [t()]}
  | {:pmap, t(), [t()]}
  | {:pcalls, [t()]}
  | {:return, t()}
  | {:fail, t()}
  | {:tool_call, name(), [t()]}
  | {:prelude_ref, String.t()}
  | {:prelude_call, String.t(), [t()]}
  | {:java_static, atom(), [t()]}
  | {:java_new, atom(), [t()]}
  | {:java_field, atom()}
  | {:java_instance, atom(), t(), [t()]}
  | {:java_dot, atom(), t(), [t()]}
  | {:java_ref, atom()}
  | {:def, name(), t(), map()}
  | {:defonce, name(), t(), map()}
  | {:loop, [binding()], t()}
  | {:recur, [t()]}

@type validation_error() :: {:invalid_core_ast, [non_neg_integer()], term()}