Module Costlib__CostModels.NSString
val get_length : IR.Exp.t -> of_function:string -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> Costlib.CostUtils.BasicCost.t
val op_on_two_str : (Costlib.CostUtils.BasicCost.t -> Costlib.CostUtils.BasicCost.t -> 'a) -> of_function:string -> IR.Exp.t -> IR.Exp.t -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> 'a
val substring_from_index : IR.Exp.t -> IR.Exp.t -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> Costlib.CostUtils.BasicCost.t