package coq-core

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

Module Make.MapSource

Parameters

module V : ValueS

Signature

Sourcetype t
Sourceval empty : t
Sourceval find : 'a Tag.tag -> t -> 'a V.t
Sourceval add : 'a onetag -> 'a V.t -> t -> t
Sourceval mem : 'a Tag.tag -> t -> bool
Sourceval modify : 'a Tag.tag -> ('a V.t -> 'a V.t) -> t -> t
OCaml

Innovation. Community. Security.