Frama-C API - Trie
module type S = sig ... end
S
is a subsignature of function result Stdlib.Map.Make
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
.