Module Nullsafe.ProvisionalAnnotation

type t =
| Field of {
field_name : IR.Fieldname.t;
}
| Method of IR.Procname.Java.t
| Param of {
method_info : IR.Procname.Java.t;
num : int;
}
val compare : t -> t -> int
val pp : Stdlib.Format.formatter -> t -> unit