Module Nullsafe.AnnotatedField

type t = {
annotation_deprecated : IR.Annot.Item.t;
annotated_type : AnnotatedType.t;
}
val get : IR.Tenv.t -> IR.Fieldname.t -> class_typ:IR.Typ.t -> class_under_analysis:IR.Typ.name -> t option

Looks up for a field declaration and, in case of success, converts it to t