Module Plang.Env

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