package coq-serapi

  1. Overview
  2. Docs

Module Projection.ReprSource

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