CostUtils.S
Module type for getting length of various data types
val length : IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.t