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