functor (P : sig val name : string val emitter : State.t end->
  sig
    val set :
      Property.t -> Property.t list -> Cil_types.annotation_status -> unit
    val update :
      Property.t ->
      Property.t list ->
      (Cil_types.annotation_status -> Cil_types.annotation_status) ->
      Cil_types.annotation_status
  end