Module Property_names

module Property_names: sig .. end

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 : part -> string
val string_of_parts : part list -> string
val parts_of_property : Property.t -> part list