Module BO__BufferOverrunModels.Collection
val create_collection : BO.BufferOverrunUtils.ModelEnv.model_env -> ret:(IR.Ident.t * IR.Typ.t) -> BO.BufferOverrunDomain.Mem.t -> length:BO.Itv.t -> BO.BufferOverrunDomain.Mem.tCreate a collection value with the
lengthand assign it toret
val eval_collection_length : IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.tEvaluate length of Java collection