sig
val
join :
Property
.t
->
Cil_types
.annotation_status
->
unit
end