package coq-core

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

Generic functorized trie data structure.

module type S = sig ... end

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

module type Grp = sig ... end
module Make (Label : Stdlib.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.

OCaml

Innovation. Community. Security.