SwiftObjCNullabilityChecker (infer.Checkers.SwiftObjCNullabilityChecker)

module F = Stdlib.Format

module L = IBase.Logging

module CallStatus : sig ... end

module StatusDomain : sig ... end

module LocKey : sig ... end

module Domain : sig ... end

module TransferFunctions : sig ... end

module Analyzer : sig ... end

val checker : Absint.IntraproceduralAnalysis.t -> unit