Frama-C:
Plug-ins:
Libraries:

Frama-C API - Functor_info

Additional info for building Set, Map and Hashtbl.

val module_name : string

Must be a valid OCaml module name corresponding to the module name you are defining by applying the functor.