Module Trie

module Trie: sig .. end

Trie over lists of values

Tries in this implementation contain data at the leaves only. An inner node contains only the subtries for each key.

This module is inspired by Jean-Christophe Filliatre's implementation at https://www.lri.fr/~filliatr/ftp/ocaml/ds/trie.ml.html
Author(s): Christoph Sticksel

module type S = sig .. end

Output signature is an extended map

module Make: functor (Ord : Map.OrderedType) -> S  with type key = Ord.t list

Trie over sequences of keys of map