let property_of_id =
  Dynamic.register ~plugin:"Wp" "WpAnnot.property_of_id" ~journalize:false
    (Datatype.func WpPropId.Prop_id_datatype.ty Property.ty)
    WpPropId.property_of_id