package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a tag
type t =
  1. | Dyn : 'a tag * 'a -> t
val create : string -> 'a tag
val anonymous : int -> 'a tag
val eq : 'a tag -> 'b tag -> ('a, 'b) CSig.eq option
val repr : 'a tag -> string
val dump : unit -> (int * string) list
type any =
  1. | Any : 'a tag -> any
val name : string -> any option
module Map (Value : Dyn.ValueS) : sig ... end
module HMap (V1 : Dyn.ValueS) (V2 : Dyn.ValueS) : sig ... end
module Easy : sig ... end