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