all | Ersatz.Bit, Ersatz |
And | Ersatz.Bit, Ersatz |
and | Ersatz.Bit, Ersatz |
anti_symmetric | Ersatz.Relation |
any | Ersatz.Bit, Ersatz |
assert | Ersatz.Bit, Ersatz |
assertFormula | Ersatz.Problem, Ersatz |
assocs | Ersatz.Relation |
atleast | Ersatz.Counting |
atmost | Ersatz.Counting |