Quant | |
1 (Type/Class) | Data.Logic.Classes.FirstOrder |
2 (Data Constructor) | Data.Logic.Types.FirstOrder |
quant | Data.Logic.Classes.FirstOrder |
quant' | Data.Logic.Classes.FirstOrder |
Quantifier | |
1 (Type/Class) | Data.Logic.Instances.Chiou |
2 (Data Constructor) | Data.Logic.Instances.Chiou |