Package hydra

Interface Summary

Interface	Description
Rewriting	Utility functions for rewriting terms, types, and other recursive data structures.

Class Summary

Class	Description
Adapters	Convenience functions for working with Hydra coders.
Coders	Convenience functions for working with Hydra coders.
HydraTestBase
Lexical	Lexical functions (which deal with named elements and primitives within graphs).
Reduction