_
val shortname : string
val parameters : (string, Typed_parameter.t list) Fclib.Hashtbl.t
module L : sig ... end
Frama-C Frama-C