úλŒ Safe-Infered!The solid data type of KMP table The F function eats a pattern (list of some Eq) and generates a KMP table. BThe time and space complexities are both O(length of the pattern) The L function takes the KMP table and a list to be searched (might be infinite) ` and then generates the search results as a list of every matched begining (might be infinite). NThe time complexity is O(length of the pattern + length of the searched list)  KMP-0.1.0.2Data.Algorithms.KMPTablebuildmatch