Netaux
Internal auxiliary functions * * This is an internal module.
module KMP : sig ... end
module ArrayAux : sig ... end