Frama-C:
Plug-ins:
Libraries:

Frama-C API - Trie

module type S = sig ... end

S is a subsignature of function result Stdlib.Map.Make

module Make (M : S) : sig ... end

Builds a Map over M.key list from a map M. Note that the key lists are stored in reverse order and not reversed back each time a key list is given back to the caller, for optimization reasons. This applies to the parameter of merge, union, iter, mapi, fold, exists and to the sequences produced by to_seq.