<a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a> <span>&#45;&gt;</span> <span>nullsafe_mode:<a href="../NullsafeMode/index.html#type-t">NullsafeMode.t</a></span> <span>&#45;&gt;</span> <span>base_proc_name:<a href="../../IR/Procname/Java/index.html#type-t">IR.Procname.Java.t</a></span> <span>&#45;&gt;</span> <span>base_signature:<a href="../AnnotatedSignature/index.html#type-t">AnnotatedSignature.t</a></span> <span>&#45;&gt;</span> <span>overridden_signature:<a href="../AnnotatedSignatu