package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Exception of exn
exception Tac_Timeout
exception TacticFailure of exn
module NonLogical : sig ... end
type (!'a, !'b, !'e) list_view =
  1. | Nil of 'e
  2. | Cons of 'a * 'e -> 'b
module BackState : sig ... end
module type Param = sig ... end
module Logical (P : Param) : sig ... end