package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. proj_ind : inductive;
  2. proj_npars : int;
  3. proj_arg : int;
  4. proj_name : Label.t;
}