Up
–
coq-core
»
Firstorder_plugin
»
Formula
» Env
Module
Formula.Env
type
t
val
empty :
t