package coq

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

Parameters

module V1 : ValueS
module V2 : ValueS

Signature

type map = {
  1. map : 'a. 'a tag -> 'a V1.t -> 'a V2.t;
}
val map : map -> Map(V1).t -> Map(V2).t