sig   val check_tau : Lang.tau -> bool   val check_term : Lang.F.term -> bool   class type engine =     object       method callstyle : Qed.Engine.callstyle       method pp_atom : Format.formatter -> Lang.F.term -> unit       method pp_flow : Format.formatter -> Lang.F.term -> unit     end   val f_concat : Lang.Fun.t   val pp_concat :     #Vlist.engine -> Format.formatter -> Lang.F.term list -> unit   val configure : Model.tuning end