package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587

Generic functorized trie data structure.

Sourcemodule type S = sig ... end

A trie is a generalization of the map data structure where the keys are themselves lists.

Sourcemodule type Grp = sig ... end

module Make
  (Label : Set.OrderedType)
  (Data : Grp) : 
  S with type label = Label.t and type data = Data.t

Generating functor, for a given type of labels and data.