V | |
1 (Type/Class) | Data.Logic.ATP.Term, Data.Logic.ATP |
2 (Data Constructor) | Data.Logic.ATP.Term, Data.Logic.ATP |
Var | Data.Logic.ATP.Term, Data.Logic.ATP |
var | Data.Logic.ATP.FOL, Data.Logic.ATP |
variant | Data.Logic.ATP.Term, Data.Logic.ATP |
variants | Data.Logic.ATP.Term, Data.Logic.ATP |
variantSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
VarOf | Data.Logic.ATP.Quantified, Data.Logic.ATP |
vcat | Data.Logic.ATP |
vt | Data.Logic.ATP.Term, Data.Logic.ATP |