Module BufferOverrunSemantics.Prune
val prune : IBase.Location.t -> IR.Typ.IntegerWidths.t -> IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Mem.tPrune memory with the given condition expression
BufferOverrunSemantics.Pruneval prune : IBase.Location.t -> IR.Typ.IntegerWidths.t -> IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Mem.tPrune memory with the given condition expression