package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val proj : t -> t term
val make : t term -> t
val mkSymb : Constr.constr -> t
val mkProduct : (Sorts.t * Sorts.t) -> t
val mkEps : Names.Id.t -> t
val mkAppli : (t * t) -> t
val mkConstructor : cinfo -> t
val equal : t -> t -> bool
val constr : t -> Constr.constr
val hash : t -> int
val nth_arg : t -> int -> t