Class UStatement.UnifierWithUnconsumedStatements

  • Enclosing interface:
    UStatement

    public abstract static class UStatement.UnifierWithUnconsumedStatements
    extends Object
    Tuple of a Unifier and a list of statements that are still waiting to be matched.