module Utils :
  sig
    type queryset = {
      documents : (string * int) array;
      queries : string array;
    }
    val make_queryset : string list -> string list -> queryset
    type stats = {
      mutable query : int;
      mutable input_document : int;
      mutable input_size : int;
      mutable print_output : bool;
      mutable input_parsing_time : float;
      mutable query_compile_time : float;
      mutable query_execution_time : float;
      mutable serialization_time : float;
      mutable memory_usage : int;
    }
    type stats_token =
        Query of int
      | Input_document of int
      | Print_output of int
      | Input_size of int
      | Input_parsing_time of int
      | Query_compile_time of int
      | Query_execution_time of int
      | Serialization_time of int
      | Memory_usage of int
    val print_stats : Format.formatter -> stats -> unit
    val empty_stats : unit -> stats
    type result = (string * string) * stats array list
    val parse_result :
      int -> in_channel -> stats -> (string * stats_token list) list -> unit
    val build_xquery : string -> string -> string -> bool -> unit
    val build_xslt : string -> string -> string -> bool -> unit
  end
module type CONFIGURATION =
  sig 
    val path : string 
    val result_basename : string 
    val num_runs : int
    val run_without_output : bool
    val run_with_output : bool
  end
module type ENGINE =
  sig
    val name : string
    val description : string
    val command : string
    val mk_queryfile : bool -> string -> string -> string -> unit
    val mk_cmdline : bool -> string -> string -> string -> string -> string list
    val time_factor : float
    val reference : bool
    val parse_rules : (string * Utils.stats_token list) list
  end
module type ENGINE_TESTER =
  sig
    module Conf : CONFIGURATION
    val test_engine :
      Utils.result list -> Utils.queryset -> Utils.result list
  end
module INIT_TESTER : functor (C : CONFIGURATION) -> ENGINE_TESTER
module MK :
  functor (E : ENGINE) -> functor (C : ENGINE_TESTER) -> ENGINE_TESTER