Patterns.PatternWithElemEquality
Patterns with a notion of characters and a equality of characters operator.
include Pattern
type t
The type of patterns.
val length : t -> int
include ElemsWithEquality
include Elems
type elem
The type of characters in the patterns.
val elem_eq : elem -> elem -> bool
Operation to check if two characters are equal.