Parameter Make.2-M

Module type for Matchers.

class matcher : P.t -> object ... end

A class for creating matcher objects from patterns. A matcher object has a mismatch method that takes a character and produces a mismatch bitvector.