Module IR__Procname.Parameter
type clang_parameter= IR.Typ.Name.t optionType for parameters in clang procnames,
Some namemeans the parameter is of type pointer to struct, withnamebeing the name of the struct,Nonemeans the parameter is of some other type.
val compare_clang_parameter : clang_parameter -> clang_parameter -> intval equal_clang_parameter : clang_parameter -> clang_parameter -> bool
type t=|JavaParameter of IR.Typ.t|ClangParameter of clang_parameterType for parameters in procnames, for java and clang.
val of_typ : IR.Typ.t -> clang_parameter