Package hydra.strip

Interface Strip

  • public interface Strip
    Several functions for stripping annotations from types and terms.

    • Method Detail

      • fullyStripTerm

        static Term fullyStripTerm​(Term t)

      • stripTerm

        static Term stripTerm​(Term t)

      • stripType

        static Type stripType​(Type t)

      • stripTypeParameters

        static Type stripTypeParameters​(Type t)