Class BoundExpressions.CasesMatchers.TotalMatcher_Expression

  • Enclosing class:
    BoundExpressions.CasesMatchers

    public static final class BoundExpressions.CasesMatchers.TotalMatcher_Expression
    extends java.lang.Object
    • Constructor Detail

      • TotalMatcher_Expression

        TotalMatcher_Expression()
    • Method Detail

      • expression

        public final <X> java.util.function.Function<BoundExpression,​X> expression​(java.util.function.BiFunction<java.util.List<FreeVariable>,​Expression,​X> expression)
      • expression_

        public final <X> java.util.function.Function<BoundExpression,​X> expression_​(X x)