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 : ValueS) : sig ... end
module Easy : sig ... end
OCaml

Innovation. Community. Security.