val program : Format.formatter -> Ast.program -> unit
val query : Format.formatter -> Ast.query -> unit