Module BO__BufferOverrunModels.NSString

val get_length : BO.BufferOverrunUtils.ModelEnv.model_env -> IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.t

Get length of NSString string