(* for records, the term is the projection, already refined, while the
* first integer is the number of left params and the second integer is
* the arity in the `:arity>` syntax *)
(* for records, the term is the projection, already refined, while the
* first integer is the number of left params and the second integer is
* the arity in the `:arity>` syntax *)