type t = Checkers.AddressTaken.TransferFunctions(Absint.ProcCfg.Exceptional).Domain.t
val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unitval leq : lhs:t -> rhs:t -> boolval join : t -> t -> tval widen : prev:t -> next:t -> num_iters:int -> t