lastAtom | Ersatz.Problem, Ersatz |
Literal | |
1 (Type/Class) | Ersatz.Internal.Literal |
2 (Data Constructor) | Ersatz.Internal.Literal |
literalExists | Ersatz.Problem, Ersatz |
literalFalse | Ersatz.Internal.Literal |
literalForall | Ersatz.Problem, Ersatz |
literalId | Ersatz.Internal.Literal |
literally | Ersatz.Variable, Ersatz |
literalTrue | Ersatz.Internal.Literal |