module Property_names:sig
..end
type
part =
| |
B of |
| |
K of |
| |
A of |
| |
I of |
| |
P of |
| |
T of |
| |
S of |
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