sig
type part =
B of Cil_types.behavior
| K of Cil_types.kernel_function
| A of string
| I of Cil_types.identified_predicate
| P of Cil_types.predicate
| T of Cil_types.term
| S of Cil_types.stmt
val is_name : string -> bool
val join : string list -> string
val string_of_part : Property_names.part -> string
val string_of_parts : Property_names.part list -> string
val parts_of_property : Property.t -> Property_names.part list
end