package coq-core

  1. Overview
  2. Docs
package coq-core
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Tag : Tag

Signature

module type OneTag = sig ... end
type 'a onetag = (module OneTag with type a = 'a)

There is no equality function between _ tag values (other than Stdlib.(=)), and especially no equality function which shows that when the values are equal the type arguments are also equal.

Instead we can use 'a onetag to recognize 'b tag values.

val eq_onetag : 'a onetag -> 'b Tag.tag -> ('a, 'b) CSig.eq option
val make : unit -> 'a onetag
val tag_of_onetag : 'a onetag -> 'a Tag.tag
module type MapS = sig ... end
module Map (V : ValueS) : MapS with type 'a value := 'a V.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct