package coq-core

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ccalgo.ATermSource

Sourcetype t
Sourceval mkSymb : Constr.constr -> t
Sourceval mkProduct : (Sorts.t * Sorts.t) -> t
Sourceval mkAppli : (t * t) -> t
Sourceval mkConstructor : cinfo -> t
Sourceval constr : t -> Constr.constr
Sourceval nth_arg : t -> int -> t
OCaml

Innovation. Community. Security.