[ocaml-output] Refresh QueryHelper
[ocaml-output] Refresh QueryHelper

Signed-off-by: Ramkumar Ramachandra <5c355d1d38066ed0c5de420d67c1b5ed0687c4bd@gmail.com>

FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar