BufferOverrunModels.Container
val eval_collection_length : IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Val.t
Evaluate length of C++ container