Up
Module
Plang.Env
module
Env
:
Qed.Engine.Env
with type term := term