_
val module_name : string
Must be a valid OCaml module name corresponding to the module name you are defining by applying the functor.
Frama-C