Module Qcert.Compiler.Lib.QStat

Require Import String.
Require Import DataSystem.
Require Import NRARuntime.
Require Import NRAEnvRuntime.
Require Import NNRCRuntime.
Require Import NNRSRuntime.
Require Import NNRCMRRuntime.
Require Import DNNRCRuntime.
Require Import tDNNRCRuntime.
Require Import CAMPRuntime.
Require Import OQLRuntime.
Require Import CompLang.
Require Import CompStat.
Require Import CompilerRuntime.

Module QStat(runtime:CompilerRuntime).

  Section QS.
    Context {bm:brand_model}.
    Context {ftyping: foreign_typing}.


  Definition json_stat_of_query : query -> string := json_stat_of_query.
  Definition json_stat_tree_of_query : string -> query -> string := json_stat_tree_of_query.

  End QS.
End QStat.