Class FreeVariables.CasesMatchers.TotalMatcher_Variable

  • Enclosing class:
    FreeVariables.CasesMatchers

    public static final class FreeVariables.CasesMatchers.TotalMatcher_Variable
    extends java.lang.Object
    • Constructor Detail

      • TotalMatcher_Variable

        TotalMatcher_Variable()
    • Method Detail

      • variable_

        public final <X> java.util.function.Function<FreeVariable,​X> variable_​(X x)