77f6e5c564 2024-02-08 1: local string = string
77f6e5c564 2024-02-08 2: local d = {}
77f6e5c564 2024-02-08 3: -- 加与删
77f6e5c564 2024-02-08 4: --~ 文
77f6e5c564 2024-02-08 5: --~ 前缀
77f6e5c564 2024-02-08 6: function d.加前缀(o1, o2)
77f6e5c564 2024-02-08 7: return (o2 or "") .. o1
77f6e5c564 2024-02-08 8: end
77f6e5c564 2024-02-08 9: -- 全筛
77f6e5c564 2024-02-08 10: --~ 文
77f6e5c564 2024-02-08 11: --~ 前缀
77f6e5c564 2024-02-08 12: function d.全筛前缀(o1, o2)
77f6e5c564 2024-02-08 13: if string.sub(o1, 1, #o2) == o2 then
77f6e5c564 2024-02-08 14: return o1
77f6e5c564 2024-02-08 15: end
77f6e5c564 2024-02-08 16: end
77f6e5c564 2024-02-08 17: return d