Module type Matcher.Matcher

Module type for Matchers.

type pattern

Type of patterns for Matcher.

type elem

Type of elements for Matcher.

class matcher : pattern -> 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.