module type OPERATION_REGEXP = sig .. end
sig
end
type t
val compile : string -> t
string -> t
val test : t -> string -> bool
t -> string -> bool