Interface TermTransformer

    • Method Detail

      • apply

        default Term apply​(Term term)
        Applies the transformer to the given term and returns the transformed term.
        Parameters:
        term - The term to be transformed.
        Returns:
        The transformed term.