package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val mkSymb : Constr.constr -> t
val mkProduct : (Sorts.t * Sorts.t) -> t
val mkAppli : (t * t) -> t
val mkConstructor : Environ.env -> cinfo -> t
val constr : t -> Constr.constr
val nth_arg : t -> int -> t
OCaml

Innovation. Community. Security.