typedef int PK_enclosure_t;
PK_BODY_contains_vector PK_EDGE_ask_type_t PK_ENTITY_range_end_t
PK_enclosure_inside_c PK_enclosure_outside_c PK_enclosure_on_c PK_enclosure_unset_c
