Module IR__Procname.C

type t = private {
name : IR.QualifiedCppName.t;
mangled : string option;
parameters : Parameter.clang_parameter list;
template_args : IR.Typ.template_spec_info;
}

Type of c procedure names.

val c : IR.QualifiedCppName.t -> string -> Parameter.clang_parameter list -> IR.Typ.template_spec_info -> t

Create a C procedure name from plain and mangled name.

val is_make_shared : t -> bool