class type engine = object .. end
object
end
method callstyle : Qed.Engine.callstyle
Qed.Engine.callstyle
method pp_atom : Format.formatter -> Lang.F.term -> unit
Format.formatter -> Lang.F.term -> unit
method pp_flow : Format.formatter -> Lang.F.term -> unit