Module Plang

module Plang: sig .. end

type scope = Qed.Engine.scope 

module Env: Qed.Engine.Env  with type term := term

type pool 

val pool : unit -> pool

val xmark_e : pool -> (Lang.F.var -> unit) -> Lang.F.term -> unit

val xmark_p : pool -> (Lang.F.var -> unit) -> Lang.F.pred -> unit

val xmark : pool -> Lang.F.Vars.t

class engine : object .. end