@type t() :: %Theoria.Env.Recursor{
  inductives: [atom()],
  k?: boolean(),
  name: atom(),
  num_indices: non_neg_integer(),
  num_minors: non_neg_integer(),
  num_motives: non_neg_integer(),
  num_params: non_neg_integer(),
  rules: [Theoria.Env.RecursorRule.t()],
  type: Theoria.Term.t(),
  universe_params: [atom()]
}