Module Projection.Repr

type t = {
  1. proj_ind : inductive;
  2. proj_npars : int;
  3. proj_arg : int;
  4. proj_name : Label.t;
}