Class type Vlist.engine

class type engine = object .. end

method callstyle : Qed.Engine.callstyle
method pp_atom : Stdlib.Format.formatter -> Lang.F.term -> unit
method pp_flow : Stdlib.Format.formatter -> Lang.F.term -> unit