Module isla_axiomatic::sexp [−][src]
Structs
| DefineFun | |
| InterpretEnv | |
| SexpFn |
Enums
| InterpretError | |
| Sexp | |
| SexpVal | SexpVal contains just the atomic parts of an S-expression, augmented with elements an additional set of events, which is useful in the context of axiomatic memory models. |