(* 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 *)
val basic_eval_and_record_ncoercion_from_t_cpos_arity:
#GrafiteTypes.status as 'status ->
(* 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 *)
val basic_eval_and_record_ncoercion_from_t_cpos_arity:
#GrafiteTypes.status as 'status ->