Checkers.AddressTaken
module Domain : sig ... end
module TransferFunctions (CFG : Absint.ProcCfg.S) : sig ... end
module Analyzer : sig ... end