Qcert.Compiler.QLib.QStat

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.