package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Make._`

val shortname : string

val parameters : (string, Typed_parameter.t list) Hashtbl.t

module L : sig ... end

val messages_group : Cmdline.Group.t