MimIR 0.1
MimIR is my Intermediate Representation
|
Go to the source code of this file.
Namespaces | |
namespace | mim |
Functions | |
Helpers to work with Functions | |
std::deque< const App * > | mim::decurry (Ref) |
Yields curried Apps in a flat std::deque<const App*> . | |
Ref | mim::compose_cn (Ref f, Ref g) |
The high level view is: | |
std::pair< Ref, DefVec > | mim::collect_args (Ref def) |
Helper function to cope with the fact that normalizers take all arguments and not only its axiom arguments. | |